A self-contained, brief and complete formulation of Voevodsky's Univalence Axiomcs.bham.ac.uk·57 pts·jessup·15
Historical Collection of the MIT Artificial Intelligence Lab Publications Seriespublications.csail.mit.edu·3 pts·jessup·0