Univalent Foundations - new type-theoretic foundations of mathematics
Apparaît également dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics
Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics