Coinductive techniques for operational equivalence of interaction nets (1998)

by M Fernandez, I Mackie
Venue:In Symp. on Logic in Computer Science