[ Back ]

Title

Explicit Mathematics, Type Theory and Univalent Foundations

Author Lukas Jaun
Director of thesis Prof. Dr. Gerhard Jäger
Co-director of thesis
Summary of thesis
Status
Administrative delay for the defence
URL
LinkedIn
Facebook
Twitter
Google+
Xing