A model of type theory in cubical sets
- Författare
- Simon Huber
- (Simon Huber.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2015 | Sverige, Göteborg | 70 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2015 | Sverige, Göteborg | 70 sidor. ill. |