The Typed Lambda-calculus with First-Class Processes

Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Original languageEnglish
    Title of host publicationProc. PARLE'89
    PublisherSpringer Verlag
    Publication date1989
    Pages357-373
    Publication statusPublished - 1989
    EventProc. PARLE'89 -
    Duration: 1 Jan 1989 → …

    Conference

    ConferenceProc. PARLE'89
    Period01/01/1989 → …

    OpenUrl availability

    Full text

    Cite this