University of Sussex
Browse

File(s) not publicly available

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

book
posted on 2023-06-08, 05:00 authored by Guy McCusker
Published in Springer-Verlag Distinguished Dissertations series

History

Publication status

  • Published

Publisher

Springer-Verlag

Page range

208

Place of publication

London

ISBN

9783540762553

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC