Logic in Computer Science (LICS 1996)

Paper: Game semantics and abstract machines (at LICS 1996)

Authors: Vincent Danos Hugo Herbelin Laurent Regnier

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.

BibTeX

  @InProceedings{DanosHerbelinRegnie-Gamesemanticsandabs,
    author = 	 {Vincent Danos and Hugo Herbelin and Laurent Regnier},
    title = 	 {Game semantics and abstract machines},
    booktitle =  {Proceedings of the Eleventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1996},
    year =	 1996,
    editor =	 {Edmund M. Clarke},
    month =	 {July}, 
    pages =      {394-405},
    location =   {New Brunswick, NJ, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }