A game-theoretic, concurrent anf fair model of the typed lambda-calculus, with full recursion (1998)

by Yiannis N Moschovakis
Venue:Computer Science Logic, 11th International Workshop, CSL '97, Lecture Notes in Computer Science