Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
From proof nets to interaction nets
Home
Publications
From proof nets to interaction nets
From proof nets to interaction nets
Y. Lafont
Y. Lafont
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
22 June 1995
book chapter
Published by
Cambridge University Press (CUP)
p.
225-248
https://doi.org/10.1017/cbo9780511629150.012
Abstract
Advances in Linear Logic - June 1995
All Articles
Open Access
Cited by 51 articles