Operational equivalence for interaction nets

@article{Fernndez2003OperationalEF,
  title={Operational equivalence for interaction nets},
  author={Maribel Fern{\'a}ndez and Ian Craig Mackie},
  journal={Theor. Comput. Sci.},
  year={2003},
  volume={297},
  pages={157-181}
}
View via Publisher
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Explore Further: Topics Discussed in This Paper