Roberto M. Amadio
Original record- Institution
- Università di Pisa
- Year
- 1991
- Country
- Italy
- MGP identifier
- 95560
Dissertation: Recursion and Subtyping in Lambda Calculi
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Giuseppe LongoInstitution not recorded
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Otmane Ait-Mohamed | Not recorded | — | 1 |
| Frédéric Dabrowski | Not recorded | — | 3 |
| Mehdi Dogguy | Université Paris Diderot - Paris 7 | 2012 | 0 |
| Cédric Lhoussaine | Not recorded | — | 0 |
| Antoine Madet | Université Paris Diderot - Paris 7 | 2012 | 0 |
| Vincent Vanackère | Not recorded | — | 0 |