Observational Equivalence for the Interaction Combinators and Internal Separation

DOI10.1016/J.ENTCS.2006.10.030zbMath1278.68219OpenAlexW2064276662MaRDI QIDQ2867902

Damiano Mazza

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.030

zbMATH Keywords

observational equivalenceinteraction netsinteraction combinatorsBöhm's theoreminternal separation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• The structure of multiplicatives
• Interaction combinators
• Operational equivalence for interaction nets.
• Locus Solum: From the rules of logic to the logic of rules

This page was built for publication: Observational Equivalence for the Interaction Combinators and Internal Separation