Searching for "Operational equivalence for interaction nets." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Operational Equivalence for Interaction Nets
- …Operational Equivalence for Interaction Nets Maribel Fernandez DI-LIENS (CNRS UMR 8548), Ecole…
- Cited by 6 (3 self) – Add To MetaCart
-
A Theory of Operational Equivalence for Interaction Nets
- …A Theory of Operational Equivalence for Interaction Nets Maribel Fernandez 1 and Ian Mackie 2 1…
- Add To MetaCart
-
Coinductive Techniques for Operational Equivalence of Interaction Nets
- …Coinductive Techniques for Operational Equivalence of Interaction Nets Maribel Fernandez LIENS…
- Cited by 8 (5 self) – Add To MetaCart
-
Observational equivalence for the interaction combinators and internal separation
- … as part of a larger study on operational equivalence for interaction nets [3]. Definition 3.3 (βη-equivalence…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 4.
