The differential -calculus

DOI10.1016/J.TCS.2007.02.028MaRDI QIDQ2373711zbMATH OpenOpenAlexFDO

Authors Lionel Vaux

Publication date 16 July 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.02.028

zbMATH Keywords

classical logicdifferential lambda-calculuslambda-mu calculuslinear logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• The \(\lambda \mu^{\mathbf{T}}\)-calculus
• The differential lambda-calculus
• scientific article; zbMATH DE number 1443050
• scientific article; zbMATH DE number 1479632
• The vectorial \(\lambda\)-calculus
• Rudiments of \(\mu\)-calculus
• A functorial approach to differential calculus
• On the \(\lambda Y\) calculus
• scientific article; zbMATH DE number 3995637
• Some properties of the \(\lambda\mu^{\wedge\vee}\)-calculus

Cites work

• \(\lambda\mu\)-calculus and Böhm's theorem
• An environment machine for the λμ-calculus
• Classical logic, continuation semantics and abstract machines
• Finiteness spaces
• scientific article; zbMATH DE number 3889501 (Why is no real title available?)
• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1337625 (Why is no real title available?)
• Linear logic
• Nondeterministic extensions of untyped \(\lambda\)-calculus
• On Köthe sequence spaces and linear logic
• Polarized proof-nets and \(\lambda \mu\)-calculus
• Proofs of strong normalisation for second order classical natural deduction
• The algebraic lambda calculus
• The differential lambda-calculus
• Uniformity and the Taylor expansion of ordinary lambda-terms

Cited in

(22)

• The differential lambda-calculus
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• A simply typed -calculus of forward automatic differentiation
• scientific article; zbMATH DE number 4213958 (Why is no real title available?)
• On the Relations between the Syntactic Theories of λμ-Calculi
• Convolution \bar\lambda\mu -Calculus
• Differential Linear Logic and Polarization
• The algebraic lambda calculus
• -Calculus with Explicit Points and Approximations
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Some properties of the \(\lambda\mu^{\wedge\vee}\)-calculus
• scientific article; zbMATH DE number 1443050 (Why is no real title available?)
• scientific article; zbMATH DE number 7357543 (Why is no real title available?)
• Reduction system for extensional lambda-mu calculus
• Models of Linear Logic based on the Schwartz \varepsilon-product
• Intuitionistic differential nets and lambda-calculus
• Differential Calculus on $$\textit{IF}$$ IF Sets
• Adding Negation to Lambda Mu
• Resource approximation for the -calculus
• Differential interaction nets
• Proof nets and the call-by-value \(\lambda\)-calculus
• Uniformity and the Taylor expansion of ordinary lambda-terms

This page was built for publication: The differential \(\lambda \mu\)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373711)