Current research
- Constructive Analysis, Topology, and Measure Theory
- Constructive Set Theory
- Computability Theory
- Category Theory
- Martin-Löf Type Theory
- Intuitionistic Mathematics
- Constructive Combinatorics
- Formal Mathematics (Minlog)
Past research
Last modified: 30.08.2021