The Separation Theorem for Differential Interaction Nets

DOI10.1007/978-3-540-75560-9_29zbMath1137.03325OpenAlexW1514726679MaRDI QIDQ3498483

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

linear logicobservational equivalencefaithfulnessproof-netsDifferential interaction nets

Mathematics Subject Classification ID

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

Related Items (5)

The relational model is injective for multiplicative exponential linear logic (without weakenings) ⋮ Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach ⋮ Unnamed Item ⋮ On the Meaning of Logical Completeness ⋮ Unnamed Item

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