Game semantics and abstract machines

V. Danos, H. Herbelin, L. Regnier

Research output: Contribution to journalArticlepeer-review

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.
Original languageEnglish
Pages (from-to)394
Number of pages1
JournalLogic in Computer Science, Symposium on
Volume0
DOIs
Publication statusPublished - 1996

Fingerprint

Dive into the research topics of 'Game semantics and abstract machines'. Together they form a unique fingerprint.

Cite this