3 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.LO2023
The algebraic -calculus is a conservative extension of the ordinary -calculus
Axel Kerinec, Lionel Vaux Auclair
The algebraic -calculus is an extension of the ordinary -calculus with linear combinations of terms. We establish that two ordinary -terms are equivalent in the algebraic…
cs.LO2018
Revisiting Call-by-value Böhm trees in light of their Taylor expansion
Emma Kerinec, Giulio Manzonetto, Michele Pagani
The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get st…