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
-
Canonical Extensions of Quantale Enriched Categories
-
SSA as Freyd Categories - Categorical Semantics for Compiler Design
-
Combinatorial Approach to Categorical Möbius Inversion and Magnitude
-
Operational Game Semantics for Generative Algebraic Effects and Handlers
-
Compositional Development of Certified System Software
-
A Denotational Approach to Release/Acquire Concurrency - GALOP'24
