Game semantics

Publication

Game Semantics and Normalization by Evaluation (with Pierre Clairambault). Foundations of Software Science and Computation Structures 2015: 56-70.

(This paper also appears under "Normalization by evaluation".)