• DocumentCode
    2739214
  • Title

    Game semantics and abstract machines

  • Author

    Danos, V. ; Herbelin, H. ; Regnier, L.

  • Author_Institution
    Paris VII Univ., France
  • fYear
    1996
  • fDate
    27-30 Jul 1996
  • Firstpage
    394
  • Lastpage
    405
  • Abstract
    The interaction processes at work by M. Hyland and L. Ong (1994) (HO) and S. Abramsky et al. (1994) (AJM) new game semantics are two preexisting paradigmatic implementations of linear head reduction: respectively Krivine´s abstract machine and Girard´s interaction abstract machine. There is a simple and natural embedding of AJM-games to HO-games, mapping strategies to strategies and reducing AJM definability (or full abstraction) property to HO´s one
  • Keywords
    game theory; AJM-games; HO-games; abstract machines; game semantics; interaction processes; linear head reduction; paradigmatic implementations; Calculus; Concrete; Game theory; Geometry; History; Machinery; Magnetic heads; Utility programs;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
  • Conference_Location
    New Brunswick, NJ
  • ISSN
    1043-6871
  • Print_ISBN
    0-8186-7463-6
  • Type

    conf

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