Interaction Nets (1990)

by Yves Lafont
Venue:In: Proc. of the 17th ACM Symposium on Principles of Programming Languages (POPL’90), ACM