Games and full abstraction for a functional metalanguage with recursive types /
McCusker, G.(Guy)
London : Springer,
c1998.
Bibliography: p[175]-184. - Includes index
Functional programming languages.
Game theory.
Recursive functions.