Repository
Mark Bickford (Cornell University)
Teaching materials to the Skype talk
Thierry Coquand (Goteborg University): Constructive Algebra
Peter Dybjer (Chalmers University of Technology): Intuitionistic Type Theory
Peter Dybjer (Chalmers University of Technology): Intuitionistic Type Theory