Cubical interpretations of type theory
- Författare
- Simon Huber
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer Science and Engineering, University of Gothenburg | 2016 | Sverige, Göteborg | x, 171 sidor. : ill. | 978-91-629-0007-6 |
| Department of Computer Science and Engineering, University of Gothenburg | 2016 | Sverige, Göteborg | x, 171 sidor. : ill. | 978-91-629-0008-3 |