Niccolò Veltri
Original record- Institution
- Tallinn University of Technology
- Year
- 2017
- Country
- Estonia
- MGP identifier
- 221267
Dissertation: A Type-Theoretical Study of Nontermination
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- James Maitland ChapmanUniversity of Nottingham · 2008
- Tarmo UustaluKungliga Tekniska Högskolan (KTH) · 1998
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Cheng-Syuan Wan | Tallinn University of Technology | 2025 | 0 |