Univalent Foundations - new type-theoretic foundations of mathematics
Apparaît également dans la collection : Fields medallists - 2002
Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics