| ||||
| ||||
![]() Title:Voevodsky's Work on Formalization of Proofs and the Foundations of Mathematics Authors:Daniel R. Grayson Conference:ITP 2018 Tags:homotopy type theory, univalent foundations and Voevodsky Abstract: A consistent thread running through the three decades of Voevodsky's work is Voevodsky's Work on Formalization of Proofs and the Foundations of Mathematics ![]() Voevodsky's Work on Formalization of Proofs and the Foundations of Mathematics | ||||
Copyright © 2002 – 2025 EasyChair |