The Separation Theorem for Differential Interaction Nets

DOI10.1007/978-3-540-75560-9_29MaRDI QIDQ3498483zbMATH OpenOpenAlexFDO

Authors Damiano Mazza, Michele Pagani

Publication date 15 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75560-9_29

zbMATH Keywords

Differential interaction netsfaithfulnesslinear logicobservational equivalenceproof-nets

Mathematics Subject Classification ID

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

Recommendations

• Differential interaction nets
• Confluence of Pure Differential Nets with Promotion
• The Cut-Elimination Theorem for Differential Nets with Promotion
• The conservation theorem for differential nets
• Intuitionistic differential nets and lambda-calculus

Cited in

(11)

• A hierarchy of expressiveness in concurrent interaction nets
• Observational equivalence for the interaction combinators and internal separation
• On the Meaning of Logical Completeness
• The Cut-Elimination Theorem for Differential Nets with Promotion
• Visible acyclic differential nets. I: Semantics
• The relational model is injective for multiplicative exponential linear logic (without weakenings)
• scientific article; zbMATH DE number 7003195 (Why is no real title available?)
• Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
• Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
• A deep inference system for differential linear logic
• Differential interaction nets

This page was built for publication: The Separation Theorem for Differential Interaction Nets

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