Games and full abstraction for a functional metalanguage with recursive types - McCusker, Guy (Springer-Verlag London, 1998)
Includes Bibliographical References.
Keywords: Functional Programming Languages; Game Theory; Recursive Functions