Observational equivalence for the interaction combinators and internal separation

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

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

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

zbMATH Keywords

observational equivalenceinteraction netsinteraction combinators[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=B%EF%BF%BD%EF%BF%BDhm%27s+theorem&go=Go B��hm's theorem]internal separation

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)

Cites Work

• Interaction combinators
• Title not available (Why is that?)
• Locus solum: From the rules of logic to the logic of rules.
• The structure of multiplicatives
• Operational equivalence for interaction nets.

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)