Gavin Mark Bierman
Original record- Institution
- University of Cambridge
- Year
- 1994
- Country
- United Kingdom
- MGP identifier
- 104628
Dissertation: On Intuitionistic Linear Logic
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Valeria Correa Vaz de PaivaUniversity of Cambridge · 1988
- Alan MycroftThe University of Edinburgh · 1982
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Melita Hajdinjak | University of Ljubljana | 2006 | 0 |
| Matthew John Parkinson | University of Cambridge | 2005 | 2 |
| Christian Urban | University of Cambridge | 2000 | 0 |