Welcome to my research page.
Phd Defense (thursday, december 7, 2017)
All the details can be found by clicking on this link.
A short research statement.
- Quantitative Intersection Type Systems
- Infinitary Calculi and Coinduction
- Lambda-Mu Calculus
- Semantics of Pure Lambda Calculus
- Higher-order type theory, dependent types
- Homotopic type theory
email@example.com Office 3044, Bâtiment Sophie Germain