## From Proof-Nets to Interaction Nets (1994)

by
Yves Lafont

Venue: | Advances in Linear Logic |

Citations: | 66 - 1 self |

by
Yves Lafont

Venue: | Advances in Linear Logic |

Citations: | 66 - 1 self |