@techreport{lamarche:inria-00347336, TITLE = {{Proof Nets for Intuitionistic Linear Logic: Essential Nets}}, AUTHOR = {Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00347336}, TYPE = {Research Report}, YEAR = {2008}, PDF = {https://inria.hal.science/inria-00347336/file/prfnet1.pdf}, HAL_ID = {inria-00347336}, HAL_VERSION = {v1}, }