"A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, ..."

Yiannis N. Moschovakis (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics