Observational equivalence for the interaction combinators and internal separation

DOI10.1016/J.ENTCS.2006.10.030zbMATH Open1278.68219OpenAlexW2064276662MaRDI QIDQ2867902FDOQ2867902

Authors 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 combinatorsinternal separationBöhm's theorem

Mathematics Subject Classification ID

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

Recommendations

• Observational equivalence and full abstraction in the symmetric interaction combinators
• Edifices and Full Abstraction for the Symmetric Interaction Combinators
• Operational equivalence for interaction nets.
• The Separation Theorem for Differential Interaction Nets
• Publication:4508401

Cites work

• scientific article; zbMATH DE number 786499 (Why is no real title available?)
• Interaction combinators
• Locus solum: From the rules of logic to the logic of rules.
• Operational equivalence for interaction nets.
• The structure of multiplicatives

Cited in

(2)

• Edifices and Full Abstraction for the Symmetric Interaction Combinators
• Observational equivalence and full abstraction in the symmetric interaction combinators

This page was built for publication: Observational equivalence for the interaction combinators and internal separation

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