AbstractWe present an extension of the lambda-calculus with differential constructions. We state and prove some basic results (confluence, strong normalization in the typed case), and also a theorem relating the usual Taylor series of analysis to the linear head reduction of lambda-calculus
We provide a computational definition of the notions of vector space andbilinear functions. We use t...
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential co...
International audienceIn this paper, we present the lambda-mu-and-or-calculus which at the typed lev...
We present an extension of the lambda-calculus with differential constructions. We state and prove s...
41 pagesInternational audienceWe present an extension of the lambda-calculus with differential const...
We present an extension of the lambda-calculus with dierential constructions motivated by a model of...
International audienceWe define a differential lambda-mu-calculus which is an extension of both Pari...
We present differential linear logic and its models, the associated resource and differential lambda...
AbstractWe introduce interaction nets for a fragment of the differential lambda-calculus and exhibit...
AbstractWe define the complete Taylor expansion of an ordinary lambda-term as an infinite linear com...
International audienceWe define an extension of Herbelin's lambda-bar-mu-calculus, introducing a pro...
If every lambda-abstraction in a lambda-term M binds at most one variable occurrence, then M is said...
Inspired by a recent graphical formalism for lambda-calculus based on Linear Logic technology, we in...
AbstractWe study normalization in the simply typed lambda-mu calculus, an extension of lambda calcul...
AbstractWe define pure intuitionistic differential proof nets, extending Ehrhard and Regnier’s diffe...
We provide a computational definition of the notions of vector space andbilinear functions. We use t...
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential co...
International audienceIn this paper, we present the lambda-mu-and-or-calculus which at the typed lev...
We present an extension of the lambda-calculus with differential constructions. We state and prove s...
41 pagesInternational audienceWe present an extension of the lambda-calculus with differential const...
We present an extension of the lambda-calculus with dierential constructions motivated by a model of...
International audienceWe define a differential lambda-mu-calculus which is an extension of both Pari...
We present differential linear logic and its models, the associated resource and differential lambda...
AbstractWe introduce interaction nets for a fragment of the differential lambda-calculus and exhibit...
AbstractWe define the complete Taylor expansion of an ordinary lambda-term as an infinite linear com...
International audienceWe define an extension of Herbelin's lambda-bar-mu-calculus, introducing a pro...
If every lambda-abstraction in a lambda-term M binds at most one variable occurrence, then M is said...
Inspired by a recent graphical formalism for lambda-calculus based on Linear Logic technology, we in...
AbstractWe study normalization in the simply typed lambda-mu calculus, an extension of lambda calcul...
AbstractWe define pure intuitionistic differential proof nets, extending Ehrhard and Regnier’s diffe...
We provide a computational definition of the notions of vector space andbilinear functions. We use t...
Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential co...
International audienceIn this paper, we present the lambda-mu-and-or-calculus which at the typed lev...
DOI
Add to ORKG