54 citations · 61 across the 3 of their papers we have counts for
3 papers
cs.LO2016★ 7 cited
A Modular Formalization of Reversibility for Concurrent Models and Languages
Alexis Bernadet, Ivan Lanese
Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of c…
cs.LO2013★ 54 cited
Non-idempotent intersection types and strong normalisation
Alexis Bernadet, Stéphane Jean Lengrand
We present a typing system with non-idempotent intersection types, typing a term syntax covering three different calculi: the pure λ-calculus, the calculus with explicit substituti…
cs.LO2013
A simple presentation of the effective topos
Alexis Bernadet, Stéphane Graham-Lengrand
We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof that the Eff…