Formalizing Univalent Set-Level Structures in Cubical Agda
- Författare
- Max Zeuner
- Genre
- Statlig publikation, theses
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Department of Mathematics | 2022 | Sverige | 86 |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Department of Mathematics | 2022 | Sverige | 86 |