Interaction Nets. In: (1990)

by Y Lafont
Venue:POPL ’90,