Approximation theory for distant Bang calculus

Kostia Chardonnet, Jules Chouquet, Axel Kerinec

Approximation semantics capture the observable behaviour of λ-terms, with Böhm Trees and Taylor Expansion standing as two central paradigms. Although conceptually different, these…