Games and full abstraction for a functional metalanguage with recursive types
By: Guy McCusker.
Series: Distinguished dissertations; CPHC/BCS distinguished dissertations.
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 189
Subjects: Functional programming languages.; Game theory.; Recursive functions.
Notes: Includes bibliographical references.