Functional completeness of cartesian categories (1974)

by J Lambek
Venue:Ann. Math. Logic