Paul Bernays Lectures 2014: A new foundation for mathematics
At this year's Paul Bernays Lectures, Vladimir Voevodsky speaks about the foundations of mathematics, type theory and univalent foundations. The lectures take place on 9-10 September 2015.
At this year's Paul Bernays Lectures, Vladimir Voevodsky speaks about the foundations of mathematics, type theory and univalent foundations. The lectures take place on 9-10 September 2015.
