What's in a game?

DOI10.1145/3209108.3209114zbMath1469.68062arXiv1711.10860OpenAlexW2964290204MaRDI QIDQ5145311

Tom Hirschowitz, Clovis Eberhart

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1711.10860

zbMATH Keywords

category theorysheavesgame semanticspresheaves

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Semantics in the theory of computing (68Q55) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (2)

Bisimulation maps in presheaf categories ⋮ Unnamed Item

This page was built for publication: What's in a game?