Title: Games and full abstraction for a functional metalanguage with recursive types
First published: 1998
Subjects: Recursive functions, Functional programming languages, Game theory
LC classification: QA76.62 .M355 1998