POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof-nets and the Hilbert space
Proceedings of the workshop on Advances in linear logic
Information and Computation
Operational equivalence for interaction nets
Theoretical Computer Science - Latin American theoretical informatics
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Hi-index | 0.01 |
We define an observational equivalence for Lafont's interaction combinators, which we prove to be the least discriminating non-trivial congruence on total nets (nets admitting a deadlock-free normal form) respecting reduction. More interestingly, this equivalence enjoys an internal separation property similar to that of Bohm's Theorem for the @l-calculus.