Next: Newsletter
Up: Other
Previous: PhD thesis
- 1996
- Real PCF extended with 2#2 is universal.
In: Advances in Theory and Formal Methods of
Computing, Proceedings of the 3rd Imperial College
workshop, Oxford.
- 1995
- Induction and recursion on the real line. In: Advances in
Theory and Formal Methods of
Computing, Proceedings of the 2nd Imperial College
workshop, Cambridge.
Martin Escardo
9/28/1999