A categorical semantics of higher order store

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)209-226
Number of pages18
JournalElectronic Notes in Theoretical Computer Science
Volume69
DOIs
Publication statusPublished - Feb 2003

Fingerprint Dive into the research topics of 'A categorical semantics of higher order store'. Together they form a unique fingerprint.

Cite this