Add to ORKGInternational audienceWe extend Ehrhard-Regnier's differential linear logic along the lines of Laurent's polarization. We provide a denotational semantics of this new system in the well-known relational model of linear logic, extending canonically the semantics of both differential and polarized linear logics: this justifies our choice of cut elimination rules. Then we show this polarized differential linear logic refines the recently introduced convolution lambda-mu-calculus, the same as linear logic decomposes lambda-calculus.
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential co...
This paper presents a polarized phase semantics, with respect to which the linear fragment of second...
We present Geometry of Interaction (GoI) models for Multiplicative Polarized Lin-ear Logic, MLLP, wh...
There are two types of duality in Linear Logic. The first one is negation, balancing positive and ne...
We introduce and study µLLP, which can be viewed both as an extension of Laurent's Polarized Linear ...
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation A! B =!A...
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation A -> B =...
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...
International audienceWe give the precise correspondence between polarized linear logic and polarize...
International audienceWe define an extension of Herbelin's lambda-bar-mu-calculus, introducing a pro...
Linear Logic was introduced as the computational counterpart of the algebraic notion of linearity. D...
We give the precise correspondence between polarized linear logic and polarized classical logic. The...
We define an extension of Herbelin’s ¯ λµ-calculus, introducing a product operation on contexts (in ...
To attack the problem of ``computing with the additives'', we introduce a notion of sliced proof-net...
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential co...
This paper presents a polarized phase semantics, with respect to which the linear fragment of second...
We present Geometry of Interaction (GoI) models for Multiplicative Polarized Lin-ear Logic, MLLP, wh...
There are two types of duality in Linear Logic. The first one is negation, balancing positive and ne...
We introduce and study µLLP, which can be viewed both as an extension of Laurent's Polarized Linear ...
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation A! B =!A...
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation A -> B =...
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...
International audienceWe give the precise correspondence between polarized linear logic and polarize...
International audienceWe define an extension of Herbelin's lambda-bar-mu-calculus, introducing a pro...
Linear Logic was introduced as the computational counterpart of the algebraic notion of linearity. D...
We give the precise correspondence between polarized linear logic and polarized classical logic. The...
We define an extension of Herbelin’s ¯ λµ-calculus, introducing a product operation on contexts (in ...
To attack the problem of ``computing with the additives'', we introduce a notion of sliced proof-net...
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential co...
This paper presents a polarized phase semantics, with respect to which the linear fragment of second...
We present Geometry of Interaction (GoI) models for Multiplicative Polarized Lin-ear Logic, MLLP, wh...