The Equivariant Uniform Kan Fibration Model of Cubical Homotopy Type Theory

The Equivariant Uniform Kan Fibration Model of Cubical Homotopy Type Theory

Homotopy Type Theory: Vladimir Voevodsky - ComputerphileSee more

Homotopy Type Theory: Vladimir Voevodsky - Computerphile

Higher Inductive Types in Cubical Computational Type TheorySee more

Higher Inductive Types in Cubical Computational 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'

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

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

Brandon Doherty, Cubical models of (∞,1)-categoriesSee more

Brandon Doherty, Cubical models of (∞,1)-categories

Benno van den Berg, Uniform Kan fibrations in simplicial setsSee more

Benno van den Berg, Uniform Kan fibrations in simplicial sets

Bas Spitters: Modal Dependent Type Theory and the Cubical ModelSee more

Bas Spitters: Modal Dependent Type Theory and the Cubical Model

Karol Szumiło, The constructive Kan-Quillen model structureSee more

Karol Szumiło, The constructive Kan-Quillen model structure

Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categoriesSee more

Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories

Introduction to Cubical Type Theory (Part I)See more

Introduction to Cubical Type Theory (Part I)

Kan Simplicial Set Model of Type Theory - Peter LeFanu LumsdaineSee more

Kan Simplicial Set Model of Type Theory - Peter LeFanu Lumsdaine

Dan Licata, A fibrational framework for substructural and modal dependent type theoriesSee more

Dan Licata, A fibrational framework for substructural and modal dependent type theories

Evan Cavallo, Internal parametricity and cubical type theorySee more

Evan Cavallo, Internal parametricity and cubical type theory

Actual