Game Semantics and Normalization by Evaluation.

Pierre Clairambault, Peter Dybjer

Browse the full FOSSACS paper archive.