Marco Solieri
Original record- Institution
- Università di Bologna and Université Sorbonne Paris Nord
- Year
- 2016
- Country
- Italy
- MGP identifier
- 215213
Dissertation: Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of $\lambda$-calculi and Proof-nets
Mathematics Subject Classification: 68—Computer science
Advisors 3
- Simone MartiniUniversità di Pisa · 1988
- Stefano GuerriniUniversità di Pisa · 1996
- Michele PaganiUniversità di Roma La Sapienza and Université Aix-Marseille III · 2006
Students 0
No students recorded in this snapshot.