English language
Published Dec. 24, 2013 by The Univalent Foundations Program Institute for Advanced Study.
Univalent Foundations of Mathematics
English language
Published Dec. 24, 2013 by The Univalent Foundations Program Institute for Advanced Study.