Univalent

video lecture

A Quillen Model Structure in Type Theory

February 06, 2013

Peter LeFanu Lumsdaine

video lecture

The Calculus of Opetopes

January 31, 2013

Eric Finster

video lecture

Weak Infinity Groupoids in HoTT

January 30, 2013

Guillaume Brunerie

video lecture

Orthogonal factorization in HoTT

January 24, 2013

Egbert Rijke

video lecture

Homotopy and Univalence

January 23, 2013

Thorsten Altenkirch

video lecture

On the Setoid Model of Type Theory

October 18, 2012

Erik Palmgren

video lecture

Toward a Computational Interpretation of Univalence

October 18, 2012

video lecture

State of the New Proof Assistant

January 17, 2013

Daniel Grayson

video lecture

Simplicial Types

January 16, 2013

Peter Lumsdaine

video lecture

Working Group on Univalent Foundations

December 07, 2012

Daniel Grayson