[
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 | |
| 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 | |