Retractions on dI-domains as a model for type:type (1991)

by S Berardi
Venue:Information and Computation