Payoffs, intensionality and abstraction in games

DOI10.1007/978-3-642-38164-5_6MaRDI QIDQ4922074zbMATH OpenOpenAlexFDO

Authors Chris Hankin, Pasquale Malacaria

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_6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Rationality and learning in game theory (91A26) Other game-theoretic models (91A40) Applications of game theory (91A80)

Recommendations

• A Theory for Game Theories
• scientific article; zbMATH DE number 1241700
• Toward a Generic Mathematical Model of Abstract Game Theories
• What's in a game?
• scientific article; zbMATH DE number 2051378

Cites work

• Abstract Interpretation, Logical Relations, and Kan Extensions
• Full abstraction for PCF
• Game semantics for access control
• Games of perfect information, predatory pricing and the chain-store paradox
• scientific article; zbMATH DE number 4014021 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• Measuring the confinement of probabilistic systems
• On concurrent games with payoff
• On full abstraction for PCF: I, II and III
• Slot games: a quantitative model of computation
• Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)
• Strictness analysis for higher-order functions

Cited in

(5)

• The regular-language semantics of second-order idealized ALGOL
• Game semantics for access control
• Definability and full abstraction
• The Parallel Intensionally Fully Abstract Games Model of PCF
• The game semantics of game theory

This page was built for publication: Payoffs, intensionality and abstraction in games

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