Proving the Genericity Lemma by leftmost reduction is simple

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages8
    JournalMemoranda informatica
    Issue number94-69
    Publication statusPublished - 1994

    Keywords

    • METIS-121733

    Cite this