Victor Lanvin
Original record- Institution
- Université Paris Cité
- Year
- 2021
- Country
- France
- MGP identifier
- 331843
Dissertation: A semantic foundation for gradual set-theoretic types
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Giuseppe CastagnaUniversité Paris Diderot - Paris 7 · 1994
Students 0
No students recorded in this snapshot.