Vladimir Voevodsky

发表

Vladimir Voevodsky, V. Voevodsky, 2015, Mathematical Structures in Computer Science.
Vladimir Voevodsky, Peter LeFanu Lumsdaine, Benedikt Ahrens, 2018, Log. Methods Comput. Sci..
Vladimir Voevodsky, V. Voevodsky, 2011, WoLLIC.
Vladimir Voevodsky, Michael A. Warren, Álvaro Pelayo, 2015, Mathematical Structures in Computer Science.
Vladimir Voevodsky, Michael A. Warren, Álvaro Pelayo, 2013, ArXiv.
Vladimir Voevodsky, Peter LeFanu Lumsdaine, Benedikt Ahrens, 2017, CSL.
Vladimir Voevodsky, 2014 .
Vladimir Voevodsky, V. Voevodsky, Fabien Morel, 1999 .
Vladimir Voevodsky, V. Voevodsky, 2009 .
Vladimir Voevodsky, V. Voevodsky, 2014, 1409.7925.
Vladimir Voevodsky, V. Voevodsky, 2006 .
Richard Garner, Vladimir Voevodsky, Per Martin-Löf, 2011 .
Vladimir Voevodsky, V. Voevodsky, 2017, 1706.03620.
Vladimir Voevodsky, V. Voevodsky, 2008, 0805.4430.
Vladimir Voevodsky, V. Voevodsky, 2003 .
Vladimir Voevodsky, Mikhail Kapranov, 1991 .
Vladimir Voevodsky, Mikhail Kapranov, M. Kapranov, 1994 .
Vladimir Voevodsky, Alexander Vishik, V. Voevodsky, 2001, math/0101023.
Vladimir Voevodsky, V. Voevodsky, 2013, 1401.0053.
Vladimir Voevodsky, 2015 .
Vladimir Voevodsky, Eric M. Friedlander, Andrei Suslin, 2000 .
Vladimir Voevodsky, Krzysztof Kapulkin, Krzysztof Kapulkin, 2020, Journal of Topology.
Vladimir Voevodsky, 2014 .
Vladimir Voevodsky, V. Voevodsky, 2014, 1406.7413.