Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Guy McCusker
    978-1-4471-0615-9
    1998
    Edition 1
    • Contains the first treatment of recursive types using game semantics, and the first fully abstract model of a recursively typed language *
    • The first exposition of game semantics for programming languages at such a high level of detail *
    • The mathematics required for denotational semantics of recursive types is studied at a general, categorical level * A computational adequacy result is proved at this level

    €100

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.