Josselin Poiret, Kenji Maillard, Nicolas Tabareau. Divide and Check: Logical Relations, No Algorithms Attached. In Frank Pfenning, editor, 11th International Conference on Formal Structures for Computation and Deduction, FSCD 2026, Lisbon, Portugal, July 20-23, 2026. Volume 378 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.