PCF extended with real numbers. (1996)

by M Escardo
Venue:Theoret. Comput. Sci,