( en | de | ru )

 

Disambiguation of "Voevodsky, Vladimir"

Author of the publication

copydeleteadd this publication to your clipboard
C-system of a module over a monad on sets

. (2014)cite http://arxiv.org/abs/1407.3394arxiv:1407.3394.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vladimir Dyakonov

Vladimir Spokoiny

Vladimir Milutinovi

Vladimir Bondarev

Vladimir Borisov

 

Other publications of authors with the same name

Univalent Semantics of Constructive Type Theories.. CPP, volume 7086 of Lecture Notes in Computer Science, page 70. Springer, (2011)An experimental library of formalized Mathematics based on the univalent foundations.. Math. Struct. Comput. Sci., 25 (5): 1278-1294 (2015)B-systems. (2014)cite http://arxiv.org/abs/1410.5389arxiv:1410.5389.Univalence in Simplicial Sets, , and . (2012)cite http://arxiv.org/abs/1203.2553arxiv:1203.2553Comment: The Simplicial Model of Univalent Foundations, arxiv:1211.2851, is an expanded version of this note, presenting the logical as well as the simplicial aspects of the model.C-system of a module over a monad on sets. (2014)cite http://arxiv.org/abs/1407.3394arxiv:1407.3394.Categorical Structures for Type Theory in Univalent Foundations., , and . CSL, volume 82 of LIPIcs, page 8:1-8:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)The Simplicial Model of Univalent Foundations, , and . (2012)cite http://arxiv.org/abs/1211.2851arxiv:1211.2851Comment: 55 pages. Some portions of this paper previously appeared in the shorter note Ünivalence in Simplicial Sets", arXiv:1203.2553.Subsystems and regular quotients of C-systems. (2014)cite http://arxiv.org/abs/1406.7413arxiv:1406.7413.Univalent Foundations of Mathematics.. WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 4. Springer, (2011)A preliminary univalent formalization of the p-adic numbers, , and . CoRR, (2013)