Martín Hötzel Escardó
Original record- Institution
- University of London
- Year
- 1997
- Country
- United Kingdom
- MGP identifier
- 86793
Dissertation: PCF Extended with Real Numbers: A Domain-Theoretic Approach to Higher-Order Exact Real Number Computation
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Michael B. SmythUniversity of Oxford · 1979
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Tom de Jong | University of Birmingham | 2022 | 0 |
| Weng Kin Ho | University of Birmingham | 2006 | 3 |
| Jose Raymundo Marcial-Romero | University of Birmingham | 2005 | 0 |
| Tommy McElvanney | University of Birmingham | 2025 | 0 |
| Chuangjie Xu | University of Birmingham | 2015 | 0 |