Towards nominal Abramsky

DOI10.1007/978-3-642-38164-5_17MaRDI QIDQ4922085zbMATH OpenOpenAlexFDO

Authors Andrzej S. Murawski, Nikos Tzevelekos

Publication date 28 May 2013

Published in Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38164-5_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Applications of game theory (91A80)

Recommendations

• Full abstraction for nominal general references
• Game semantics in the nominal model
• Game semantics for nominal exceptions
• A Theory for Game Theories
• Operational nominal game semantics

Cites work

• A new approach to abstract syntax with variable binding
• Call-by-value games
• Foundations of Software Science and Computation Structures
• Full abstraction for nominal general references
• Full abstraction for PCF
• Game-theoretic analysis of call-by-value computation
• Hereditarily sequential functionals
• On full abstraction for PCF: I, II and III

Cited in

(4)

• Operational nominal game semantics
• Full abstraction for nominal general references
• Game semantics for nominal exceptions
• Disentangling parallelism and interference in game semantics

This page was built for publication: Towards nominal Abramsky

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4922085)