Homotopy Type Theory
Subtitle: Univalent Foundations of Mathematics
Publisher: The Univalent Foundations Program Institute for Advanced Study
Published: 2013
Language: eng