Exact completion and type-theoretic structures
- Författare
- Jacopo Emmenegger
- (Jacopo Emmenegger.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Mathematics, Stockholm University | 2019 | Sverige, Stockholm | 27 sidor illustrationer | 978-91-7797-526-7 |
| Department of Mathematics, Stockholm University | 2019 | Sverige, Stockholm | 1 onlineresurs (23 sidor) | 978-91-7797-527-4 |