10 citations · 11 across the 2 of their papers we have counts for
1 paper · 2 filters
Thierry Coquand, Simon Huber, Christian Sattler
Cubical type theory provides a constructive justification of homotopy type theory. A crucial ingredient of cubical type theory is a path lifting operation which is explained comput…