PhD thesis

1997

PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation. Technical report ECS-LFCS-97-374, Department of Computer Science, University of Edinburgh. (Produced at Imperial College of the University of London, 1996).