Tagged: math

December 13, 2016 by bart
March 20, 2016 by bart
Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study
July 30, 2015 by bart