Enrico Tronci
Original record- Institution
- Carnegie Mellon University
- Year
- 1991
- Country
- United States
- MGP identifier
- 40498
Dissertation: Equational Programming in Lambda-Calculus Via SL-Systems
Advisor 1
- Richard StatmanStanford University · 1974
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Marco Esposito | Università di Roma La Sapienza | 2022 | 0 |
| Federico Mari | Università di Roma La Sapienza | 2010 | 0 |
| Massimo Nazaria | Università di Roma La Sapienza | 2018 | 0 |