Vladimir Voevodsky

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 5

Top Topics

Computer Assisted Instruction

Theoretical Basis

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky
Categorical structures for type theory in univalent foundations. Log. Methods Comput. Sci. 14 (3) (2018)
Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky
Categorical Structures for Type Theory in Univalent Foundations. CSL (2017)
Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky
Categorical structures for type theory in univalent foundations. CoRR (2017)
Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren
-adic numbers. Math. Struct. Comput. Sci. 25 (5) (2015)
Vladimir Voevodsky
An experimental library of formalized Mathematics based on the univalent foundations. Math. Struct. Comput. Sci. 25 (5) (2015)
Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren
A preliminary univalent formalization of the p-adic numbers CoRR (2013)
Vladimir Voevodsky
Univalent Foundations of Mathematics. WoLLIC (2011)
Vladimir Voevodsky
Univalent Semantics of Constructive Type Theories. CPP (2011)