Embedding of a free cartesian closed category into the category of sets (1998)

by D Čubrić
Venue:J. Pure Appl. Algebra