TY - JOUR
T1 - A categorical semantics of higher order store
AU - Laird, J.
PY - 2003/2
Y1 - 2003/2
N2 - We give a categorical description of a class of sound and adequate models of a functional language with assignable variables. This is based on a notion of "sequoidal category", a symmetric monoidal category with an additional non-commutative and non-associative tensor product. We describe a category script G sign of games and strategies, and show that it satisfies our axioms. We give an axiomatic characterization of those categories (including script G sign) which give rise to fully abstract models.
AB - We give a categorical description of a class of sound and adequate models of a functional language with assignable variables. This is based on a notion of "sequoidal category", a symmetric monoidal category with an additional non-commutative and non-associative tensor product. We describe a category script G sign of games and strategies, and show that it satisfies our axioms. We give an axiomatic characterization of those categories (including script G sign) which give rise to fully abstract models.
UR - http://www.scopus.com/inward/record.url?scp=18944390710&partnerID=8YFLogxK
UR - http://dx.doi.org/10.1016/S1571-0661(04)80566-8
UR - http://dx.doi.org/10.1016/S1571-0661(04)80566-8
U2 - 10.1016/S1571-0661(04)80566-8
DO - 10.1016/S1571-0661(04)80566-8
M3 - Article
AN - SCOPUS:18944390710
SN - 1571-0661
VL - 69
SP - 209
EP - 226
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
ER -