Homotopy type theory : univalent foundations of mathematics /

Korporace:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Princeton : Institute for Advanced Study, 2013.
Předmět:
teorie homotopií
algebraická topologie
sborníky

Podobné jednotky