Deductive systems and categories i (1968)

by J Lambek
Venue:Math. Systems Theory