PCF extended with real numbers, Theoretical Computer Science 162 (1996)

by M H Escardo
Venue:Philosophical Transactions of the Royal Society