The Univalent Foundations Program Institute for Advanced Study

External links

View on OpenLibrary

Books by The Univalent Foundations Program Institute for Advanced Study

The Univalent Foundations Program Institute for Advanced Study: Homotopy Type Theory (2013, The Univalent Foundations Program Institute for Advanced Study) No rating

Homotopy Type Theory

by