Department Mathematik
print


Navigationspfad


Inhaltsbereich

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