@techreport{lamarche:inria-00099330, TITLE = {{Displacement Games as a model of linear logic}}, AUTHOR = {Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00099330}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {A00-R-379 || lamarche00b}, PAGES = {6 p}, YEAR = {2000}, KEYWORDS = {linear logic ; categorical semantics ; -autonomous category ; s{\'e}mantique cat{\'e}gorique ; cat{\'e}gorie *-autonome ; construction de chu ; s{\'e}mantique de lauchli ; lauchli semantics ; logique lin{\'e}aire}, HAL_ID = {inria-00099330}, HAL_VERSION = {v1}, }