Univalent Foundation 2014, by Vladimir Voevodsky

By Xah Lee. Date: .

Univalent Foundation 2014, by Vladimir Voevodsky

How I became interested in foundations of mathematics

Math Foundation, type theory, proof theory