An abstract, certified account of operational game semantics.

Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski

Browse the full ESOP paper archive.