Approximation Theory for Distant Bang Calculus

Kostia Chardonnet, Jules Chouquet, Axel Kerinec. Approximation Theory for Distant Bang Calculus. 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

Abstract is missing.