3 papers
cs.LO2019
Codensity Games for Bisimilarity
Yuichi Komorida, Shin-ya Katsumata, Nick Hu +2
Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, et…
cs.LO2018
Simple game semantics and Day convolution
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
Game semantics has provided adequate models for a variety of programming languages, in which types are interpreted as two-player games and programs as strategies. Melliès (2018) su…
cs.LO2017
What's in a game? A theory of game models
Clovis Eberhart, Tom Hirschowitz
Game semantics is a rich and successful class of denotational models for programming languages. Most game models feature a rather intuitive setup, yet surprisingly difficult proofs…