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