Univalent Types, Sets and Multisets : Investigations in dependent type theory
This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different way...
| Main Author: | |
|---|---|
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Stockholms universitet, Matematiska institutionen
2017
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-136896 http://nbn-resolving.de/urn:isbn:978-91-7649-654-1 http://nbn-resolving.de/urn:isbn:978-91-7649-655-8 |