Deductive systems and categories. II. Standard constructions and closed categories (1969)

by J Lambek
Venue:Lecture Notes in Mathematics, 86, 76–122