Pierre Clairambault, Peter Dybjer. Game Semantics and Normalization by Evaluation. 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2015, Londres, United Kingdom. Proceedings of the 18th Internatio
HAL Archives-Ouvertes,
Pierre Clairambault, Peter Dybjer. Game Semantics and Normalization by Evaluation.