A Theory of Operational Equivalence for Interaction Nets

Authors:
Maribel Fernández;Ian Mackie
Affiliations:
-;-
Venue:
LATIN '00 Proceedings of the 4th Latin American Symposium on Theoretical Informatics
Year:
2000

Citing 0
Cited 2

Operational equivalence for interaction nets

Theoretical Computer Science - Latin American theoretical informatics
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract