Cozy Library | Category: univalence axiom

Browse
Books
Shelves

Discover (Random Books)

La geometria

La geometria

René Descartes

Nicholas of Cusa on Learned Ignorance: A Translation and an Appraisal of De Docta Ignorantia

Nicholas of Cusa on Learned Ignorance: A Translation and an ...

Cardinal Nicholas (of Cusa) & Jasper Hopkins

Propaganda

Propaganda

Stand on Zanzibar

Stand on Zanzibar

Category: univalence axiom

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program