19 citations · 44 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.CT2019
Stable factorization from a fibred algebraic weak factorization system
Evan Cavallo
We present a construction of stable diagonal factorizations, used to define categorical models of type theory with identity types, from a family of algebraic weak factorization sys…
cs.LO2019
Parametric Cubical Type Theory
Evan Cavallo, Robert Harper
We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric typ…