Realizability Proof for Normalization of Full Differential Linear Logic

DOI10.1007/978-3-642-21691-6_11zbMath1331.03041OpenAlexW41668360MaRDI QIDQ3007660

Stéphane Gimenez

Publication date: 17 June 2011

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-21691-6_11

zbMATH Keywords

weak normalizationlinear logicrealizabilityproof netsdifferential interaction netsdifferential linear logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ The conservation theorem for differential nets

Cites Work

• Unnamed Item
• Intuitionistic differential nets and lambda-calculus
• Linear logic
• Differential interaction nets
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Strong normalization property for second order linear logic
• The differential lambda-calculus
• The Cut-Elimination Theorem for Differential Nets with Promotion