Giorgio Ghelli
Original record- Institution
- Università di Pisa
- Year
- 1990
- Country
- Italy
- MGP identifier
- 87482
Dissertation: Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Giuseppe LongoInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Dario Colazzo | Università di Pisa | 2004 | 1 |
| Paolo Manghi | Università di Pisa | 2001 | 0 |
| Carlo Sartiani | Università di Pisa | 2003 | 0 |