Explore game-enriched categories as an alternative approach to modeling programming languages in this 26-minute conference talk presented at GALOP'24. Delve into Paul Blain Levy's proposal to enhance the traditional categorical representation of game models, potentially offering greater flexibility in strategy definition. Gain insights into how this novel perspective could impact the field of programming language semantics and open up new avenues for research and application.
Overview
Syllabus
[GALOP'24] Game-enriched categories
Taught by
ACM SIGPLAN
Related Courses
-
SSA as Freyd Categories - Categorical Semantics for Compiler Design
-
Operational Game Semantics for Generative Algebraic Effects and Handlers
-
Combinatorial Approach to Categorical Möbius Inversion and Magnitude
-
Compositional Development of Certified System Software
-
A Denotational Approach to Release/Acquire Concurrency - GALOP'24
-
Univalent Double Categories - Formalization and Applications in Category Theory
