We stand with Ukraine  

Vladimir Voevodsky

Affiliations:
  • Institute for Advanced Study, School of Mathematics, Princeton, NJ, USA


According to our database1, Vladimir Voevodsky authored at least 6 papers between 2011 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Categorical Structures for Type Theory in Univalent Foundations.
[BibTeX]
[DOI]
Benedikt Ahrens
,
Peter LeFanu Lumsdaine
,
Vladimir Voevodsky
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2015
An experimental library of formalized Mathematics based on the univalent foundations.
[BibTeX]
[DOI]
Vladimir Voevodsky
Math. Struct. Comput. Sci., 2015

A univalent formalization of the <i>p</i>-adic numbers.
[BibTeX]
[DOI]
Álvaro Pelayo
,
Vladimir Voevodsky
,
Michael A. Warren
Math. Struct. Comput. Sci., 2015

2013
A preliminary univalent formalization of the p-adic numbers
[BibTeX]
[DOI]
Álvaro Pelayo
,
Vladimir Voevodsky
,
Michael A. Warren
CoRR, 2013

2011
Univalent Foundations of Mathematics.
[BibTeX]
[DOI]
Vladimir Voevodsky
Proceedings of the Logic, Language, Information and Computation, 2011

Univalent Semantics of Constructive Type Theories.
[BibTeX]
[DOI]
Vladimir Voevodsky
Proceedings of the Certified Programs and Proofs - First International Conference, 2011


  Loading...