@inbook{2e59503dbc514349a497408ae4f0ef9c,
title = "An Axiomatic Account of a Fully Abstract Game Semantics for General References",
abstract = "We present an analysis of the game semantics of general references introduced by Abramsky, Honda and McCusker which exposes the algebraic structure of the model. Using the notion of sequoidal category, we give a coalgebraic definition of the denotational semantics of storage cells of arbitrary type. We identify further conditions on the model which allow an axiomatic presentation of the proof that finite elements of the model are definable by programs, in the style of Abramsky{\textquoteright}s Axioms for Definability.",
keywords = "Computational adequacy, Computational effects, Full abstraction, Game semantics, Higher-order store, Semantics of programming languages",
author = "Jim Laird and Guy McCusker",
year = "2023",
month = aug,
day = "2",
doi = "10.1007/978-3-031-24117-8_7",
language = "English",
isbn = "9783031241161",
series = "Outstanding Contributions to Logic",
publisher = "Springer, Cham",
pages = "251--292",
editor = "A. Palmigiano and M. Sadrzadeh",
booktitle = "Samson Abramsky on Logic and Structure in Computer Science and Beyond",
}