Interaction nets (1990)

by Y Lafont
Venue:in POPL ’90: Proceedings