AbstractWe present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a corresponding game model. We show that the connection between them is very strong through an equivalence of categories (this contains soundness, full completeness and faithful completeness)
AbstractWe generalize the intuitionistic Hyland–Ong games (and in a second step Abramsky–Jagadeesan–...
International audienceThe goal of this paper is to demonstrate how the very rich notion of proof-net...
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winni...
We present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a correspond...
We present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a cor-respon...
AbstractWe present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a co...
To attack the problem of “computing with the additives”, we introduce a notion of sliced proof-net f...
AbstractWe first define polarized proof-nets, an extension of MELL proof-nets for the polarized frag...
We define a notion of polarization in linear logic (LL) coming from the polarities of Jean-Yves Gira...
Coming from the study of linear logic and from the computational analysis of classical logic, the no...
AbstractThis paper presents an exact correspondence in typing and dynamics between polarised linear ...
This paper is a first step towards a study for a concurrent construction of proof-nets in the framew...
International audienceLinear logic can be used as a meta-logic to specify a range of object-level pr...
AbstractWe describe an ongoing project in which we attempt to describe a neutral approach to proof a...
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MAL...
AbstractWe generalize the intuitionistic Hyland–Ong games (and in a second step Abramsky–Jagadeesan–...
International audienceThe goal of this paper is to demonstrate how the very rich notion of proof-net...
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winni...
We present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a correspond...
We present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a cor-respon...
AbstractWe present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a co...
To attack the problem of “computing with the additives”, we introduce a notion of sliced proof-net f...
AbstractWe first define polarized proof-nets, an extension of MELL proof-nets for the polarized frag...
We define a notion of polarization in linear logic (LL) coming from the polarities of Jean-Yves Gira...
Coming from the study of linear logic and from the computational analysis of classical logic, the no...
AbstractThis paper presents an exact correspondence in typing and dynamics between polarised linear ...
This paper is a first step towards a study for a concurrent construction of proof-nets in the framew...
International audienceLinear logic can be used as a meta-logic to specify a range of object-level pr...
AbstractWe describe an ongoing project in which we attempt to describe a neutral approach to proof a...
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MAL...
AbstractWe generalize the intuitionistic Hyland–Ong games (and in a second step Abramsky–Jagadeesan–...
International audienceThe goal of this paper is to demonstrate how the very rich notion of proof-net...
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winni...
DOI
Add to ORKG