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

Martín Escardó's research papers available on line

Here is the bibliography produced by my bibtex file.

A list of papers with summaries is also available.

Real number computation

• 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.

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.

• 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).

Semantics, domain theory, topology, locale theory, category theory, ...

• 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.

(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.)

• 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.