The Library
Towards nominal Abramsky
Tools
Murawski, Andrzej S. and Tzevelekos, Nikos (2013) Towards nominal Abramsky. In: Coecke , Bob and Ong, Luke and Prakash , Panangaden, (eds.) Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Lecture Notes in Computer Science, Volume 7860 . Berlin Heidelberg: Springer , pp. 246-263. ISBN 9783642381638
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-642-38164-5_17
Abstract
Since the discovery of fully abstract models of PCF in the early 1990s, game semantics has expanded to a wide range of programming paradigms, covering effects like state, control, general references, non-determinism, probability and concurrency. Those models revealed an interesting phenomenon referred to as Abramsky’s cube: starting from the PCF model and relaxing each of its combinatorial conditions, one was led to capture a corresponding impure effect. In this paper we initiate the construction of an analogous cube for nominal games, a strand of game semantics developed in the last ten years that incorporates names as semantic atoms and captures generative effects without using “bad-object” constructors. In particular, we examine the stateful axis of the cube: starting from games for higher-order references we move to full ground references, where strategies respect visibility, and from there to purely functional behaviour and innocent strategies.
Item Type: | Book Item | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Series Name: | Lecture Notes in Computer Science | ||||
Publisher: | Springer | ||||
Place of Publication: | Berlin Heidelberg | ||||
ISBN: | 9783642381638 | ||||
ISSN: | 0302-9743 | ||||
Book Title: | Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | ||||
Editor: | Coecke , Bob and Ong, Luke and Prakash , Panangaden | ||||
Official Date: | 2013 | ||||
Dates: |
|
||||
Volume: | Volume 7860 | ||||
Page Range: | pp. 246-263 | ||||
DOI: | 10.1007/978-3-642-38164-5_17 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |