The information given below may be obsolete or incomplete.
Martín Escardó's research papers available on line
This material is presented to ensure timely dissemination of scholarly
and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders, usually the publishers. All
persons and robots copying this information are expected to adhere to
the terms and constraints invoked by each author's copyright. In most
cases, these works may not be reposted without the explicit permission
of the copyright holder.
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.
Back to previous page
Martin Escardo
Last modified: Tue Nov 16 15:17:35 GMT 1999