Department Mathematik
print


Navigationspfad


Inhaltsbereich

Students


  • Johanna Geins: Connections between Bishop spaces and C-spaces (provisional title), Master Thesis in preparation, Mathematics Institute LMU 2017/18.
  • Andreas Franz: The wedge and the sum 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: 09.11.2017