Deductive systems and categories (1969)

by J Lambek
Venue:II”, Lecture Notes in Mathematics 87 (Springer-Verlag