TY  - BOOK
AU  - McCusker, Guy
TI  - Games and full abstraction for a functional metalanguage with recursive types
T2  - Series Editor : C. J. van Rijsbergen
SN  - 3540762558
U1  - 005.13 
PY  - 1998///
CY  - London
PB  - Springer-Verlag 
KW  - Functional Programming Languages
KW  - Game Theory
KW  - Recursive Functions
N1  - Includes Bibliographical References
ER  -