The conservation theorem for differential nets

DOI10.1017/S0960129515000456MaRDI QIDQ5360213zbMATH OpenFDO

Authors Michele Pagani, Paolo Tranquilli

Publication date 28 September 2017

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129515000456

Mathematics Subject Classification ID

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

Recommendations

• The Cut-Elimination Theorem for Differential Nets with Promotion
• A semantic account of strong normalization in linear logic
• Confluence of Pure Differential Nets with Promotion
• Intuitionistic differential nets and lambda-calculus
• Differential interaction nets

Cites work

• Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
• An Explicit Framework for Interaction Nets
• Confluence of Pure Differential Nets with Promotion
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Differential interaction nets
• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
• Finiteness spaces
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• scientific article; zbMATH DE number 1405619 (Why is no real title available?)
• Intensional interpretations of functionals of finite type I
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Intuitionistic differential nets and lambda-calculus
• Linear logic
• Proof nets and explicit substitutions
• Realizability Proof for Normalization of Full Differential Linear Logic
• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• Strong normalization property for second order linear logic
• The Cut-Elimination Theorem for Differential Nets with Promotion
• The differential lambda-calculus
• The lambda calculus, its syntax and semantics
• The structure of multiplicatives

Cited in

(11)

• Factorization in call-by-name and call-by-value calculi via linear logic
• A semantic account of strong normalization in linear logic
• The Separation Theorem for Differential Interaction Nets
• The Cut-Elimination Theorem for Differential Nets with Promotion
• Confluence of Pure Differential Nets with Promotion
• Visible acyclic differential nets. I: Semantics
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Intuitionistic differential nets and lambda-calculus
• Factorization and normalization, essentially
• A deep inference system for differential linear logic
• Böhm and Taylor for all!

This page was built for publication: The conservation theorem for differential nets

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