Univalent Foundations - new type-theoretic foundations of mathematics
Also appears in collection : Fields medallists - 2002
Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics