BibTeX records: Vladimir Voevodsky

download as .bib file

@article{DBLP:journals/lmcs/AhrensLV18,
  author    = {Benedikt Ahrens and
               Peter LeFanu Lumsdaine and
               Vladimir Voevodsky},
  title     = {Categorical structures for type theory in univalent foundations},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {14},
  number    = {3},
  year      = {2018},
  url       = {https://doi.org/10.23638/LMCS-14(3:18)2018},
  doi       = {10.23638/LMCS-14(3:18)2018},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lmcs/AhrensLV18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AhrensLV17,
  author    = {Benedikt Ahrens and
               Peter LeFanu Lumsdaine and
               Vladimir Voevodsky},
  editor    = {Valentin Goranko and
               Mads Dam},
  title     = {Categorical Structures for Type Theory in Univalent Foundations},
  booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
               August 20-24, 2017, Stockholm, Sweden},
  series    = {LIPIcs},
  volume    = {82},
  pages     = {8:1--8:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2017.8},
  doi       = {10.4230/LIPIcs.CSL.2017.8},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/csl/AhrensLV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhrensLV17,
  author    = {Benedikt Ahrens and
               Peter LeFanu Lumsdaine and
               Vladimir Voevodsky},
  title     = {Categorical structures for type theory in univalent foundations},
  journal   = {CoRR},
  volume    = {abs/1705.04310},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.04310},
  archivePrefix = {arXiv},
  eprint    = {1705.04310},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/AhrensLV17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PelayoVW15,
  author    = {{\'{A}}lvaro Pelayo and
               Vladimir Voevodsky and
               Michael A. Warren},
  title     = {A univalent formalization of the \emph{p}-adic numbers},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {25},
  number    = {5},
  pages     = {1147--1171},
  year      = {2015},
  url       = {https://doi.org/10.1017/S0960129514000541},
  doi       = {10.1017/S0960129514000541},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/PelayoVW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Voevodsky15,
  author    = {Vladimir Voevodsky},
  title     = {An experimental library of formalized Mathematics based on the univalent
               foundations},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {25},
  number    = {5},
  pages     = {1278--1294},
  year      = {2015},
  url       = {https://doi.org/10.1017/S0960129514000577},
  doi       = {10.1017/S0960129514000577},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/Voevodsky15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1207,
  author    = {{\'{A}}lvaro Pelayo and
               Vladimir Voevodsky and
               Michael A. Warren},
  title     = {A preliminary univalent formalization of the p-adic numbers},
  journal   = {CoRR},
  volume    = {abs/1302.1207},
  year      = {2013},
  url       = {http://arxiv.org/abs/1302.1207},
  archivePrefix = {arXiv},
  eprint    = {1302.1207},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1302-1207.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Voevodsky11,
  author    = {Vladimir Voevodsky},
  editor    = {Jean{-}Pierre Jouannaud and
               Zhong Shao},
  title     = {Univalent Semantics of Constructive Type Theories},
  booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
               2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7086},
  pages     = {70},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25379-9\_7},
  doi       = {10.1007/978-3-642-25379-9\_7},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/cpp/Voevodsky11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Voevodsky11,
  author    = {Vladimir Voevodsky},
  editor    = {Lev D. Beklemishev and
               Ruy J. G. B. de Queiroz},
  title     = {Univalent Foundations of Mathematics},
  booktitle = {Logic, Language, Information and Computation - 18th International
               Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6642},
  pages     = {4},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20920-8\_4},
  doi       = {10.1007/978-3-642-20920-8\_4},
  timestamp = {Tue, 01 Jun 2021 15:22:31 +0200},
  biburl    = {https://dblp.org/rec/conf/wollic/Voevodsky11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics