Univalent Universes in Cubical Type Theory

Univalent Universes in Cubical Type Theory

Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"See more

Anders Mortberg: 'Cubical Methods in Homotopy Type Theory and Univalent Foundations'

CT 20→21: Normalization for Cubical Type TheorySee more

CT 20→21: Normalization for Cubical Type Theory

Normalization for Cubical Type Theory (LICS 2021)See more

Normalization for Cubical Type Theory (LICS 2021)

Kuen-Bang Hou (Favonia), Towards efficient cubical type theorySee more

Kuen-Bang Hou (Favonia), Towards efficient cubical type theory

5 - Kick-off afternoon : Vladimir Voevodsky, Univalent FoundationsSee more

5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations

Andrew Pitts, Axiomatizing cubical sets models of univalent foundationsSee more

Andrew Pitts, Axiomatizing cubical sets models of univalent foundations

Actual