slides

2016

2015

2014

2013

  • Conference on type theory, homotopy theory and univalent foundations. A descent theorem in type theory. Joint work with Bas Spitters. Barcelona, September 26th 2013.