@techreport{perrier:inria-00098793, TITLE = {{From Intuitionistic Proof Nets to Interaction Grammars}}, AUTHOR = {Perrier, Guy}, URL = {https://inria.hal.science/inria-00098793}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {99-R-120 || perrier99b}, PAGES = {39 p}, INSTITUTION = {{universit{\'e} Nancy2}}, YEAR = {1999}, KEYWORDS = {proof net ; logique lin{\'e}aire ; categorial grammar ; linear logic ; r{\'e}seau de d{\'e}monstration ; grammaire cat{\'e}gorielle}, PDF = {https://inria.hal.science/inria-00098793/file/99-R-120.pdf}, HAL_ID = {inria-00098793}, HAL_VERSION = {v1}, }