Interaction nets (1990)

by Yves G A Lafont
Venue:In Conference Record of the 17th Annual ACM Symposium on Principles of Programming Languages, (POPL’90