Slot games

DOI10.1145/1040305.1040313zbMath1369.68074OpenAlexW2011565534MaRDI QIDQ5276137

Dan R. Ghica

Publication date: 14 July 2017

Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1040305.1040313

zbMATH Keywords

game semanticsquantitative analysisAlgol

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (5)

Weighted models for higher-order computation ⋮ From Qualitative to Quantitative Semantics ⋮ Payoffs, Intensionality and Abstraction in Games ⋮ A Fresh Look at the λ-Calculus ⋮ A game-semantic model of computation

This page was built for publication: Slot games