Lambek’s categorical proof theory and Läuchli’s abstract realizability (1992)

by V Harnik, M Makkai
Venue:J. Symbolic Logic