41 pagesInternational audienceWe 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
AbstractWe define a differential λμ-calculus which is an extension of both Parigot’s λμ-calculus and...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
We define a differential λµ-calculus which is an extension of both Parigot’s λµ-calculus and Ehrhard...
We present an extension of the lambda-calculus with differential constructions. We state and prove s...
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 define a differential lambda-mu-calculus which is an extension of both Pari...
International audienceWe present differential linear logic and its models, the associated resource a...
International audienceThe linear-algebraic lambda-calculus and the algebraic lambda-calculus are unt...
International audienceInspired by a recent graphical formalism for lambda-calculus based on linear l...
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi ex...
The $\lambda \mu^{\wedge \vee}$-calculus is an extension of the $\lambda$-calculus associated to the...
29 pagesInternational audienceWe introduce an extension of the pure lambda-calculus by endowing the ...
AbstractWe identify a restricted class of terms of the lambda calculus, here called weak linear, tha...
International audienceThe lambda_ws-calculus is a lambda-calculus with explicit substitutions that s...
AbstractWe define a differential λμ-calculus which is an extension of both Parigot’s λμ-calculus and...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
We define a differential λµ-calculus which is an extension of both Parigot’s λµ-calculus and Ehrhard...
We present an extension of the lambda-calculus with differential constructions. We state and prove s...
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 define a differential lambda-mu-calculus which is an extension of both Pari...
International audienceWe present differential linear logic and its models, the associated resource a...
International audienceThe linear-algebraic lambda-calculus and the algebraic lambda-calculus are unt...
International audienceInspired by a recent graphical formalism for lambda-calculus based on linear l...
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi ex...
The $\lambda \mu^{\wedge \vee}$-calculus is an extension of the $\lambda$-calculus associated to the...
29 pagesInternational audienceWe introduce an extension of the pure lambda-calculus by endowing the ...
AbstractWe identify a restricted class of terms of the lambda calculus, here called weak linear, tha...
International audienceThe lambda_ws-calculus is a lambda-calculus with explicit substitutions that s...
AbstractWe define a differential λμ-calculus which is an extension of both Parigot’s λμ-calculus and...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
We define a differential λµ-calculus which is an extension of both Parigot’s λµ-calculus and Ehrhard...
DOI
Add to ORKG