Department Mathematik
print


Navigationspfad


Inhaltsbereich

Students


  • Johanna Geins: Connections between Bishop spaces and C-spaces, Master Thesis in preparation, Mathematics Institute LMU 2018.
  • Daniel Neumaier: The constructive Hahn-Banach theorem, Bachelor Thesis in preparation, Mathematics Institute LMU 2018.
  • Kajetan Söhnen: Higher inductive types (provisional title), Bachelor Thesis in preparation, Mathematics Institute LMU 2018.
  • Eghdami Armin: Voevodsky's axiom of univalence (provisional title), Bachelor Thesis in preparation, Mathematics Institute LMU 2018.
  • Rebecca Fiebiger: Inductive types in Martin-Löf type theory (provisional title), Bachelor Thesis in preparation, Mathematics Institute LMU 2018.
  • Lennard Götz: Martin-Löf's J-rule, Bachelor Thesis in preparation, Mathematics Institute LMU 2018.
  • Andreas Franz: The wedge sum and the smash product in Homotopy Type Theory, Master Thesis, Mathematics Institute LMU, 2017
  • (co-supervisor, main supervisor Prof. Dr. H. Schwichtenberg) Christian Saile: A Formal Theory of Computability in Higher Types, Bachelor Thesis, Mathematics Institute LMU, 2012.

Last modified: 23.02.2018