skip to main content
Langue :
Afficher les résultats avec :

Homotopy type theory : univalent foundations of mathematics

The Univalent foundations program. Institute for advanced study (Princeton, N.J)

[Princeton, NJ]. Institute for Advanced Study, copyright 2013

Disponible(->>)

Recherche dans les bases de données distantes en cours. Merci de patienter.