Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)
1:02:58
Proving Theorems from Reflection by Philip Welch (University of Bristol, UK)
1:33:26
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
1:30:06
Per Martin Löf: How did 'judgement' come to be a term of logic ?
1:07:14
Thierry COQUAND - Logic and topology
57:41
Isadore Singer and Michael Atiyah - The Abel Prize interview 2004
1:00:51
Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber
1:04:01