Eliminating Reversals from Cubical Type Theories.

Evan Cavallo, Christian Sattler

Browse the full LICS paper archive.