Danel Ahman, Ilja Sobolev. Strong Normalisation for Asynchronous Effects. 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.