Usability: formalising (un)definedness in typed lambda calculus

    Research output: Contribution to journalArticleProfessional

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

    Keywords

    • METIS-121735

    Cite this