Lambek's Categorical Proof Theory and L"auchli's Abstract Realizability (1992)

by V Harnik, M Makkai
Venue:Journal of Symbolic Logic