Next: Technical Report
Up: Other
Previous: Workshop with refereed proceedings
- 1995
- Report on the 1st workshop on Computability and Complexity
in Analysis held in Haggen. EATCS Bulletin.
- 1993
- On lazy natural numbers with applications
to computability theory and functional
programming. SIGACT News, 24(1):60-67.
Martin Escardo
9/28/1999