Interaction nets (1990)

by Y Lafont
Venue:In POPL ’90: Proceedings of the 17th ACM SIGPLANSIGACT symposium on Principles of programming languages