19 citations · 44 across the 8 of their papers we have counts for
1 paper · 2 filters
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…