Next: About this document ...
Up: Other
Previous: Newsletter
- 1998
- Injective spaces and the filter monad. Technical
report ECS-LFCS-98-383, LFCS, Department of Computer Science,
University of Edinburgh.
- 1995
- PCF extended with real numbers. In: Proceedings
of the 1st workshop on Computability and Complexity
in Analysis, Technical Report 190-9/1995, Fachbereich
Informatik, FernUniversität, Hagen, Germany. Ker-I Ko and Klaus
Weihrauch eds.
- 1993
- Scott domain theory as a foundation of interval
analysis. Technical Report RP218, Departamento de
Informática Teórica, Instituto the Informática,
Universidade Federal do Rio Grande do Sul. Porto Alegre,
Brazil. Joint work with Dalcidio Claudio.
Martin Escardo
9/28/1999