University of Sussex
Browse

File(s) not publicly available

The Regular Language Semantics of Second-Order Idealized Algol

journal contribution
posted on 2023-06-07, 21:49 authored by Dan R Ghica, Guy McCusker
No description supplied

History

Publication status

  • Published

Journal

Theoretical Computer Science

ISSN

0304-3975

Issue

1-3

Volume

309

Page range

469-502

Pages

34.0

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