Completed
Hugo Herbelin: Investigations into cubical type theory
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Types, Homotopy, Type Theory, and Verification Workshop
Automatically move to the next video in the Classroom when playback concludes
- 1 Hugo Herbelin: Investigations into cubical type theory
- 2 Tutorial 6 Felix Wellen: Differential Cohesive HoTT
- 3 Tutorial 5 Dan Licata: A Fibrational Framework for Modal Dependent Type Theories
- 4 Tutorial 3 Dan Licata: Discrete and Codiscrete Modalities in Cohesive HoTT
- 5 Tutorial 4 Felix Wellen: Discrete and Codiscrete Modalities in Cohesive HoTT, II
- 6 Tutorial 2 Felix Wellen: The Shape Modality in Real cohesive HoTT and Covering Spaces
- 7 Tutorial 1 Dan Licata: A Fibrational Framework for Modal Simple Type Theories
- 8 Andrej Bauer and Peter LeFanu Lumsdaine: Toward an initiality theorem for general type theories
- 9 Bas Spitters: Modal Dependent Type Theory and the Cubical Model
- 10 Christian Sattler: Do cubical models of type theory also model homotopy types
- 11 Nicolai Kraus: The Challenge of Free Groups
- 12 Fabio Pasquali: Assemblies as an elementary quotient completion
- 13 Anders Mörtberg: Yet Another Cartesian Cubical Type Theory yacctt
- 14 Kuen Bang Hou (Favonia): Cartesian cubical computational type theory
- 15 Benno van den Berg: Univalent polymorphism
- 16 Jacopo Emmenegger: W types in the setoid model
- 17 Paul André Melliès: Refinement type systems and Martin Lof type theory
