From Proof-Nets to Interaction Nets (1994)

Cached

Download Links

by Yves Lafont
Venue:Advances in Linear Logic
Citations:59 - 1 self