A Theory for Game Theories

DOI10.1007/978-3-540-77050-3_16zbMath1136.68035OpenAlexW1882436945MaRDI QIDQ5458834

Tom Hirschowitz, Michel Hirschowitz, Andre Hirschowitz

Publication date: 24 April 2008

Published in: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77050-3_16

zbMATH Keywords

categoriesgame semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Spaces of games (91A70)

Related Items

Unnamed Item, Contraction-free Proofs and Finitary Games for Linear Logic

Cites Work

• Unnamed Item
• Unnamed Item
• The structure of multiplicatives
• Full abstraction for idealized Algol with passive expressions
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Double categories: a modular model of multiplicative linear logic