A cubical model of homotopy type theory

Författare
Steve Awodey
Språk
Engelska
Förlag År Ort Om boken ISBN
2016 Sverige 31