Extended abstracts fall 2013: geometrical analysis; type theory, homotopy theory and univalent foundations
Éditeur :
Birkhauser Verlag AG
ISBN :
9783319212838
Date de publication :
13 nov. 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse