%0 Unpublished work
%T Ludics Characterization of Multiplicative-Additive Linear Behaviours
%+ Laboratoire d'Informatique de Paris-Nord (LIPN)
%+ Institut de Mathématiques de Marseille (I2M)
%A Fouqueré, Christophe
%A Quatrini, Myriam
%8 2015-11-13
%D 2015
%Z Mathematics [math]
%Z Computer Science [cs]Preprints, Working Papers, ...
%X Ludics is a logical theory that J.-Y. Girard developed around 2000. At first glance, it may be considered as a Brouwer-Heyting-Kolmogorov interpretation of Logic as a formula is denoted by the set of its proofs. More primitively, Ludics is a theory of interaction that models (a variant of) second-order multiplicative-additive Linear Logic. A formula is denoted by a set of objects called a behaviour, a proof by an object that satisfies some criteria. Our aim is to analyze the structure of behaviours in order to better understand and refine the usual notion of formulas or types. More precisely, we study properties that guarantee a behaviour to be recursively decomposable by means of multiplicative-additive linear connectives and linear constants.
%G English
%2 https://hal.science/hal-01228498/document
%2 https://hal.science/hal-01228498/file/1403.3772.pdf
%L hal-01228498
%U https://hal.science/hal-01228498
%~ UNIV-PARIS13
%~ CNRS
%~ UNIV-AMU
%~ EC-MARSEILLE
%~ LIPN
%~ I2M
%~ I2M-2014-
%~ GALILE
%~ SORBONNE-PARIS-NORD
%~ CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE
%~ ACT-R