International audienceWe define a differential lambda-mu-calculus which is an extension of both Parigot's lambda-mu-calculus and Ehrhard- Regnier's differential lambda-calculus. We prove some basic properties of the system: reduction enjoys Church-Rosser and simply typed terms are strongly normalizing
The Dual Calculus, proposed recently by Wadler, is the outcome of two distinct lines of research in ...
(eng) We investigate some fundamental properties of the reduction relation in the untyped term calcu...
International audienceThe lambda_ws-calculus is a lambda-calculus with explicit substitutions that s...
International audienceWe define a differential lambda-mu-calculus which is an extension of both Pari...
We define a differential λµ-calculus which is an extension of both Parigot’s λµ-calculus and Ehrhard...
AbstractWe define a differential λμ-calculus which is an extension of both Parigot’s λμ-calculus and...
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...
AbstractWe present an extension of the lambda-calculus with differential constructions. We state and...
International audienceWe present differential linear logic and its models, the associated resource a...
International audienceWe give an elementary and purely arithmetical proof of the strong normalizatio...
We present an extension of the lambda-calculus with dierential constructions motivated by a model of...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
International audienceThe symmetric $\lambda mu$-calculus is the $\lambda\mu$-calculus introduced by...
International audienceThe symmetric $\lambda \mu$-calculus is the $\lambda \mu$-calculus introduced ...
The Dual Calculus, proposed recently by Wadler, is the outcome of two distinct lines of research in ...
(eng) We investigate some fundamental properties of the reduction relation in the untyped term calcu...
International audienceThe lambda_ws-calculus is a lambda-calculus with explicit substitutions that s...
International audienceWe define a differential lambda-mu-calculus which is an extension of both Pari...
We define a differential λµ-calculus which is an extension of both Parigot’s λµ-calculus and Ehrhard...
AbstractWe define a differential λμ-calculus which is an extension of both Parigot’s λμ-calculus and...
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...
AbstractWe present an extension of the lambda-calculus with differential constructions. We state and...
International audienceWe present differential linear logic and its models, the associated resource a...
International audienceWe give an elementary and purely arithmetical proof of the strong normalizatio...
We present an extension of the lambda-calculus with dierential constructions motivated by a model of...
AbstractWe present a proof technique in λ-calculus that can facilitate inductive reasoning on λ-term...
International audienceThe symmetric $\lambda mu$-calculus is the $\lambda\mu$-calculus introduced by...
International audienceThe symmetric $\lambda \mu$-calculus is the $\lambda \mu$-calculus introduced ...
The Dual Calculus, proposed recently by Wadler, is the outcome of two distinct lines of research in ...
(eng) We investigate some fundamental properties of the reduction relation in the untyped term calcu...
International audienceThe lambda_ws-calculus is a lambda-calculus with explicit substitutions that s...
DOI
Add to ORKG