International audienceWe present differential linear logic and its models, the associated resource and differential lambda-calculi, and the Taylor expansion of promotion boxes. We also describe an antiderivative which seems to be available in many models of differential LL, and we present a very simple categorical axiom for this operation
AbstractWe introduce interaction nets for the differential lambda-calculus and exhibit in this frame...
The categorical models of the differential lambda-calculus are additivecategories because of the Lei...
The categorical models of the differential lambda-calculus are additive categories because of the Le...
We present differential linear logic and its models, the associated resource and differential lambda...
International audienceWe define a differential lambda-mu-calculus which is an extension of both Pari...
41 pagesInternational audienceWe present an extension of the lambda-calculus with differential const...
We present an extension of the lambda-calculus with differential constructions. We state and prove s...
International audienceWe extend Ehrhard-Regnier's differential linear logic along the lines of Laure...
AbstractWe present an extension of the lambda-calculus with differential constructions. We state and...
We present an extension of the lambda-calculus with dierential constructions motivated by a model of...
International audienceWe study the semantics of a resource sensitive extension of the lambda-calculu...
International audienceWe define an extension of Herbelin's lambda-bar-mu-calculus, introducing a pro...
AbstractWe introduce interaction nets for a fragment of the differential lambda-calculus and exhibit...
Since its discovery, differential linear logic (DLL) inspired numerous domains. In denotational sema...
Rapport interne.Given any cartesian closed category (standard model of the lambda calculus), we cons...
AbstractWe introduce interaction nets for the differential lambda-calculus and exhibit in this frame...
The categorical models of the differential lambda-calculus are additivecategories because of the Lei...
The categorical models of the differential lambda-calculus are additive categories because of the Le...
We present differential linear logic and its models, the associated resource and differential lambda...
International audienceWe define a differential lambda-mu-calculus which is an extension of both Pari...
41 pagesInternational audienceWe present an extension of the lambda-calculus with differential const...
We present an extension of the lambda-calculus with differential constructions. We state and prove s...
International audienceWe extend Ehrhard-Regnier's differential linear logic along the lines of Laure...
AbstractWe present an extension of the lambda-calculus with differential constructions. We state and...
We present an extension of the lambda-calculus with dierential constructions motivated by a model of...
International audienceWe study the semantics of a resource sensitive extension of the lambda-calculu...
International audienceWe define an extension of Herbelin's lambda-bar-mu-calculus, introducing a pro...
AbstractWe introduce interaction nets for a fragment of the differential lambda-calculus and exhibit...
Since its discovery, differential linear logic (DLL) inspired numerous domains. In denotational sema...
Rapport interne.Given any cartesian closed category (standard model of the lambda calculus), we cons...
AbstractWe introduce interaction nets for the differential lambda-calculus and exhibit in this frame...
The categorical models of the differential lambda-calculus are additivecategories because of the Lei...
The categorical models of the differential lambda-calculus are additive categories because of the Le...
DOI
Add to ORKG