Applications of Game Semantics: From Program Analysis to Hardware Synthesis.

Dan R. Ghica

Browse the full LICS paper archive.