Retractions on dI-Domains as a Model for Type:Type (1991)

by S Berardi
Venue:Information and Computation