A simple model for quotient types (1995)

by M Hofmann
Venue:In TLCA