The differential \(\lambda \mu\)-calculus

DOI10.1016/j.tcs.2007.02.028zbMath1121.03026OpenAlexW2148814023MaRDI QIDQ2373711

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

linear logicclassical logiclambda-mu calculusdifferential lambda-calculus

Mathematics Subject Classification ID

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

Related Items (9)

Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ What is a categorical model of the differential and the resource λ-calculi? ⋮ Differential interaction nets ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Proof nets and the call-by-value \(\lambda\)-calculus ⋮ Uniformity and the Taylor expansion of ordinary lambda-terms ⋮ Intuitionistic differential nets and lambda-calculus ⋮ Differential Linear Logic and Polarization ⋮ The algebraic lambda calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Polarized proof-nets and \(\lambda \mu\)-calculus
• The differential lambda-calculus
• Nondeterministic extensions of untyped \(\lambda\)-calculus
• λμ-calculus and Böhm's theorem
• The algebraic lambda calculus
• An environment machine for the λμ-calculus
• Classical logic, continuation semantics and abstract machines
• Proofs of strong normalisation for second order classical natural deduction
• On Köthe sequence spaces and linear logic
• Finiteness spaces

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