Coinductive techniques for operational equivalence of interaction nets (1998)

by M Fernández, I Mackie
Venue:In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS’98