A simple model for quotient types (1995)

by M Hofmann
Venue:In Typed Lambda Calculi and Applications