Department Mathematik
print


Navigationspfad


Inhaltsbereich

Current research


  • Constructive Analysis, Topology, and Measure Theory
  • Constructive Set Theory
  • Computability Theory
  • Category Theory
  • Martin-Löf Type Theory
  • Past research


  • Intuitionistic Mathematics
  • Constructive Combinatorics
  • Formal Mathematics (Minlog)

Last modified: 30.08.2021