Homotopy type theory
Egbert RijkeCatégories:
Année:
2012
Edition:
version 28 Aug 2012
Langue:
english
Pages:
97
Collection:
Master thesis at Utrecht University (revised)
Fichier:
PDF, 671 KB
IPFS:
,
english, 2012