This page has been moved to http://www.dcs.st-and.ac.uk/~mhe/papers.html

The information given below may be obsolete or incomplete.

Here is the bibliography produced by my bibtex file.

A list of papers with summaries is also available.

- 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, November 1997. (
**Note:**This is a PhD thesis produced at Imperial College of the University of London, submitted in November 1996 and defended in February 1997.) - PCF extended with real numbers.
*Theoretical Computer Science*, volume 162, pages 79-115, 1996. - Real PCF extended with existential is universal. Eds. Edalat, A., Jourdan, S., McCusker,
G.,
*Proceedings of the 3rd Workshop on Theory and Formal Methods*, April 1996, IC Press, Christ Church, Oxford, 1996, pages 13-24. - Induction and recursion on the partial real line with applications to Real PCF, with Thomas Streicher.
*Theoretical Computer Science*, volume 210, number 1, pages 121-157, January 1999. - Induction and recursion on the partial real line via
biquotients of bifree algebras, with Thomas Streicher.
*Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science.*Warsaw, Poland, June 1997, pages 376-386. - Integration in Real PCF (extended abstract), with Abbas
Edalat.
*Proceedings of the 11th Annual IEEE Symposium on Logic In Computer Science*, New Brunswick, New Jersey, USA, June 1996, pages 382-393. - Integration in Real PCF (full version), with Abbas
Edalat. To appear in
*Information and Computation*, LICS96 special issue. - Semantics of exact real arithmetic, with Peter Potts and Abbas
Edalat.
*Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science.*Warsaw, Poland, June 1997, pages 248-257. - Effective and sequential definition
by cases on the reals via infinite signed-digit numerals. In
*Proceedings of the Third Workshop on Computation and Approximation*(Comprox III), Elsevier, Volume 13 of Electronic Notes in Theoretical Computer Science.Slides of a talk about this paper in Appsem'98.

- Recursion and induction on
the uniform real line. Eds. Hankin, C., Mackie, I., Nagarajan, R.,
*Proceedings of the 2nd Workshop on Theory and Formal Methods (September 1994)*, IC Press (World Scientific), Møller Centre, Cambridge, pages 109-131, 1995. - Calculus
in coinductive form, with Dusko
Pavlovic.
*Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science*. Indiana, USA, June 1998. (Appears also as Technical Report 97:05, School of Cognitive and Computing Sciences, University of Sussex).

The above paper is obsolete. It is a preliminary version of a paper which was never finished and is likely to contain mistakes. It inspired some work contained in the above papers, however.

- A metric model of PCF. Presented in the Workshop on Realizability Semantics and Applications, June 30-July 1, 1999 (associated to the Federated Logic Conference, held in Trento, June 29-July 12, 1999).
- Properly injective spaces and function spaces.
*Topology and Its Applications*, volume 89, number 1-2, pages 75-120, November 1998. - Injective spaces via the filter monad. In Proceedings of the 12th Summer Conference on General Topology and its Applications, North Bay, Canada, August 1997. Topology proceedings volume 22, pp.97-110. (This is a slightly revised version of the Technical Report ECS-LFCS-98-383, Department of Computer Science, University of Edinburgh, March 1998.)
- Semantic domains, injective spaces and monads, with Bob Flagg. In
*Proceedings of the 15th conference on Mathematical Foundations of Programming Semantics*(MFPS XV), Elsevier, Volume 20 of Electronic Notes in Theoretical Computer Science. - The way-below relation of function spaces over semantic domains, with Thomas Erker and Klaus Keimel.
*Topology and Its Applications*, volume 89, number 1-2, pages 61-74, November 1998. - The regular-locally-compact
coreflection of a stably locally compact locale. To appear in the
*Journal of Pure and Applied Algebra*. - On the compact-regular
coreflection of a stably compact locale. In
*Proceedings of the 15th conference on Mathematical Foundations of Programming Semantics*(MFPS XV), Elsevier, Volume 20 of Electronic Notes in Theoretical Computer Science.

(Cf. the paper *Right Kan spaces and essentially complete T0 spaces* by Thomas Erker in
*Proceedings of the Third Workshop on Computation and
Approximation* (Comprox III), Elsevier, Volume 13 of Electronic
Notes in Theoretical Computer Science.)

Back to previous page Martin Escardo Last modified: Tue Nov 16 15:17:35 GMT 1999