Differential Linear Logic and Polarization

DOI10.1007/978-3-642-02273-9_27MaRDI QIDQ3637207zbMATH OpenOpenAlexFDO

Authors Lionel Vaux

Publication date 7 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02273-9_27

Mathematics Subject Classification ID

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

Recommendations

• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Convolution \bar\lambda\mu -Calculus
• A logical account for linear partial differential equations
• scientific article; zbMATH DE number 1342282
• The differential \(\lambda \mu\)-calculus

Cites work

• A calculus of mobile processes. I
• A new constructive logic: classic logic
• Convolution \bar\lambda\mu -Calculus
• Differential interaction nets
• Finiteness spaces
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Logic Programming with Focusing Proofs in Linear Logic
• Logical Approaches to Computational Barriers
• Normal functors, power series and -calculus
• Not Enough Points Is Enough
• The differential \(\lambda \mu\)-calculus
• The differential lambda-calculus
• Uniformity and the Taylor expansion of ordinary lambda-terms

Cited in

(5)

• Higher-order distributions for differential linear logic
• scientific article; zbMATH DE number 2061715 (Why is no real title available?)
• Transport of finiteness structures and applications
• A logical account for linear partial differential equations
• Unifying graded linear logic and differential operators

This page was built for publication: Differential Linear Logic and Polarization

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