Research
- Constructive Topology
- Constructive Analysis
- Constructive Set Theory
- Type Theory
- Category Theory
- Constructive Computability Theory at Higher Types
- Constructive Combinatorics
- Brouwer's Intuitionism
- Formal mathematics (Minlog)
Last modified: 08.12.2020