5 citations · 14 across the 7 of their papers we have counts for
7 papers
Type Isomorphisms for Multiplicative-Additive Linear Logic
Rémi Di Guardia, Olivier Laurent
We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for t…
Super Exponentials in Linear Logic
Esaïe Bauer, Olivier Laurent
Following the idea of Subexponential Linear Logic and Stratified Bounded Linear Logic, we propose a new parameterized version of Linear Logic which subsumes other systems like ELL,…
Intersection Subtyping with Constructors
Olivier Laurent
We study the question of extending the BCD intersection type system with additional type constructors. On the typing side, we focus on adding the usual rules for product types. On…
Focusing in Orthologic
Olivier Laurent
We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a simple system relying on…
Game semantics for first-order logic
Olivier Laurent
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exten…
Acyclic Solos and Differential Interaction Nets
Thomas Ehrhard, Olivier Laurent
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that e…