• DocumentCode
    3294328
  • 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
  • fYear
    1997
  • fDate
    29 Jun-2 Jul 1997
  • Firstpage
    68
  • Lastpage
    75
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on
  • Conference_Location
    Warsaw
  • ISSN
    1043-6871
  • Print_ISBN
    0-8186-7925-5
  • Type

    conf

  • DOI
    10.1109/LICS.1997.614933
  • Filename
    614933
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3294328