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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------