Artifact Report: an Abstract, Certified Account of Operational Game Semantics.

Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski

Browse the full ESOP paper archive.