Evan Cavallo, Christian Sattler. Eliminating Reversals from Cubical Type Theories. In Claudia Faggian, Joost-Pieter Katoen, editors, 41st Annual Symposium on Logic in Computer Science, LICS 2026, Lisbon, Portugal, July 20-23, 2026. Volume 380 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.