Home
|
Legals
|
Data Protection
|
Sitemap
|
interACT
ISL
Home
About us
News
Distinguished Lectures
Summer Schools
Exchange Programm
Visiting interACT @
Application
Our exchange students
Research and Projects
Press
Brochures
Related Links
Contact
Jakob von Raumer
KIT
Exchange at:
CMU
Advisor:
@KIT: Prof. Snelting @CMU: Prof. Avigad/Prof. Awodey
Type of work:
Master Thesis
Topic of work:
Homotope Type Theory and Formalization of Mathematics
Exchange from to:
WS 2014/15
