Title :
Game semantics and abstract machines
Author :
Danos, V. ; Herbelin, H. ; Regnier, L.
Author_Institution :
Paris VII Univ., France
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;
Conference_Titel :
Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
Conference_Location :
New Brunswick, NJ
Print_ISBN :
0-8186-7463-6
DOI :
10.1109/LICS.1996.561456
