From Proof Nets to Interaction Nets (1995)

by Y Lafont
Venue:In Advances in Linear Logic, London Mathematical Society Lecture Note Series 222