Coinductive Techniques for Operational Equivalence of Interaction Nets.

Maribel Fernndez, Ian Mackie

Browse the full LICS paper archive.