Understanding game semantics through coherence spaces

DOI10.1016/J.ENTCS.2010.08.014MaRDI QIDQ3178256zbMATH OpenOpenAlexFDO

Authors Ana Carolina Calderon, Guy McCusker

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.08.014

zbMATH Keywords

coherence spacesgame semanticsrelationsstrategies

Mathematics Subject Classification ID

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

Recommendations

• What's in a game?
• A Theory for Game Theories
• Games in the semantics of programming languages -- an elementary introduction
• Static Analysis
• Sequential algorithms and strongly stable functions

Cites work

• A categorical semantics of higher order store
• Asynchronous games 3 an innocent model of linear logic
• Asynchronous games. II: The true concurrency of innocence
• Full abstraction for PCF
• Games and full abstraction for FPC.
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1223612 (Why is no real title available?)
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 1318513 (Why is no real title available?)
• scientific article; zbMATH DE number 1497810 (Why is no real title available?)
• On full abstraction for PCF: I, II and III
• Sequential algorithms and strongly stable functions
• Thick Subtrees, Games and Experiments

Cited in

(6)

• Weighted models for higher-order computation
• Latent semantic analysis of game models using LSTM
• From qualitative to quantitative semantics. By change of base
• Grounding game semantics in categorical algebra
• From thin concurrent games to generalized species of structures (extended version)
• The relational machine calculus

This page was built for publication: Understanding game semantics through coherence spaces

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