5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2026
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…
cs.LO2019★ 5 cited
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
Jules Chouquet, Lionel Vaux Auclair
We examine some combinatorial properties of parallel cut elimination in multiplicative linear logic (MLL) proof nets. We show that, provided we impose a constraint on some paths, w…