1 paper · 1 filter
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…