0/1 уроков (0%)
– из 1
Game-Enriched Categories
YouTube·Category Theory
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.