Differential Linear Logic and Polarization

DOI10.1007/978-3-642-02273-9_27zbMath1246.03082OpenAlexW1585014507MaRDI QIDQ3637207

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

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

Related Items

Transport of finiteness structures and applications

Cites Work

• Unnamed Item
• Unnamed Item
• Differential interaction nets
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Normal functors, power series and \(\lambda\)-calculus
• A calculus of mobile processes. I
• The differential lambda-calculus
• The differential \(\lambda \mu\)-calculus
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Not Enough Points Is Enough
• Convolution $\bar\lambda\mu$ -Calculus
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• Finiteness spaces
• Logical Approaches to Computational Barriers