1 paper · 1 filter
Evan Cavallo, Christian Sattler
Cubical type theories are designed around an abstract unit interval from which types of paths, used to represent equalities, are defined. Varying the operations available on this i…