From types to sets (1980)

by Joachim Lambek
Venue:Adv. in Math