Games and full abstraction for a functional metalanguage with recursive types

Author(s)

• McCusker, G. (Guy)

Bibliographic Information

Games and full abstraction for a functional metalanguage with recursive types

Guy McCusker

（Distinguished dissertations）

Springer, c1998

Note

Includes bibliographical references (p. [175]-184) and index

• NCID: BA37717403
• ISBN:
  • 3540762558
• LCCN: 98018047
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London ; Berlin ; New York
• Pages/Volumes: xiii, 189 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.62
  • DC21 : 005.13
• Subject Headings:
  • LCSH : Functional programming languages
  • LCSH : Game theory
  • LCSH : Recursive functions
• Parent Bibliography ID:
  • BA37476806