PCF extended with real numbers (1996)

by M H Escard'o
Venue:Theoretical Computer Science