Univalent

Homotopy Theory in Type Theory

"Homotopy Group"- (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine
(1)Carnegie Mellon Univ.; Member, School of Math, (2)School of Math., IAS, (3)Dalhousie Univ.; Member, School of Math
April 11, 2013

Directed Type Theory

Michael Warren
Dalhousie University; Member, School of Mathematics
April 10, 2013

On the Category of hSets

Bas Spitters
Radboud University Nijmegen; Member, School of Mathematics
April 3, 2013

Natural Models of Type Theory

Steve Awodey
Carnegie Mellon University; Member, School of Mathematics
March 28, 2013

The James Construction and $pi_4(S^3)$

Guillaume Brunerie
School of Mathematics, IAS
March 27, 2013

Substructural Type Theory

Noam Zeilberger
IMDEA Software Institute; Member, School of Mathematics
March 22, 2013

Gluing in Homotopy Type Theory

Michael Shulman
University of California, San Diego; Member, School of Mathematics
March 20, 2013