Welcome to my research page.
- 2019.04.08: My article "Sequence types for Hereditary Permutators" is accepted for FSCD2019 (june 24-30, Dortmund).
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
- Homotopy type theory