Title :
Believe it or not, AJM´s games model is a model of classical linear logic
Author :
Baillot, Patrick ; Danos, Vincent ; Ehrhard, Thomas ; Regnier, Laurent
Author_Institution :
CNRS, Marseille, France
fDate :
29 Jun-2 Jul 1997
Abstract :
A general category of games is constructed. A subcategory of saturated strategies, closed under all possible codings in copy games, is shown to model reduction in classical linear logic
Keywords :
encoding; formal logic; game theory; reduced order systems; AJM´s games model; classical linear logic; codings; copy games; general category; saturated strategies; Bridges; Calculus; Context modeling; Game theory; Logic; Minimax techniques; Protocols; Reduced order systems; Testing; Visualization;
Conference_Titel :
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on
Conference_Location :
Warsaw
Print_ISBN :
0-8186-7925-5
DOI :
10.1109/LICS.1997.614933
