Towards Nominal Abramsky

DOI10.1007/978-3-642-38164-5_17zbMath1264.68062OpenAlexW1959259639MaRDI QIDQ4922085

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

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

Cites Work

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

This page was built for publication: Towards Nominal Abramsky