Observational equivalence for the interaction combinators and internal separation

DOI10.1016/J.ENTCS.2006.10.030MaRDI QIDQ2867902zbMATH OpenOpenAlexFDO

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

Böhm's theoreminteraction combinatorsinteraction netsinternal separationobservational equivalence

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Grammars and rewriting systems (68Q42) 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
• scientific article; zbMATH DE number 1512711

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)

• Observational equivalence and full abstraction in the symmetric interaction combinators
• Edifices and Full Abstraction for 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)