A Lambda-Revelation of the SECD Machine

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

    Original languageEnglish
    Book seriesB R I C S Report Series
    IssueRS-02-53
    Number of pages15
    ISSN0909-0878
    Publication statusPublished - 2002

    Cite this