Game semantics for nominal exceptions

DOI10.1007/978-3-642-54830-7_11MaRDI QIDQ5410671zbMATH OpenOpenAlexFDO

Authors Andrzej S. Murawski, Nikos Tzevelekos

Publication date 16 April 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54830-7_11

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Full abstraction for nominal general references
• Game semantics in the nominal model
• Full Abstraction for Reduced ML
• Towards nominal Abramsky
• Operational nominal game semantics

Cited in

(7)

• Game semantics in the nominal model
• Full abstraction for nominal general references
• Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
• Full Abstraction for Reduced ML
• Towards nominal Abramsky
• Combining and relating control effects and their semantics
• Game semantics for a polymorphic programming language

This page was built for publication: Game semantics for nominal exceptions

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