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

by S Berardi
Venue:Information and Computation