005.13 / M139g
McCusker, Guy
Games and full abstraction for a functional metalanguage with recursive types
/ by Guy McCusker
.- London: Springer-Verlag , c1998
.- xiii, 189p .
.- ( Distinguished Dissertations
** Series Editor : C. J. van Rijsbergen )
Includes Bibliographical References.
ISBN: 3540762558
Subject Headings:
Functional Programming Languages;
Game Theory;
Recursive Functions;
Copy Details:
Acc. No.: A136792, Full Call No.: 005.13 M139g, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------