Yiannis N. Moschovakis
A Game-Theoretic, Concurrent and Fair Model of the Typed λ-calculus, with Full Recursion
CSL, 1997.
@inproceedings{CSL-1997-Moschovakis, author = "Yiannis N. Moschovakis", booktitle = "{Selected Papers of the 11th International Workshop on Computer Science Logic / Annual Conference of the EACSL}", doi = "10.1007/BFb0028024", isbn = "3-540-64570-5", pages = "341--359", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Game-Theoretic, Concurrent and Fair Model of the Typed λ-calculus, with Full Recursion}", volume = 1414, year = 1997, }