1980] "Intuitionistic type theory and the free topos (0)

by J Lambeck, P J Scott
Venue:J. Pure Appl. Algebra