Usability: formalizing (un)definedness in typed lambda calculi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationSelected Papers of Computer Science Logic
    Place of PublicationKazimierz, Poland
    Pages76-90
    Publication statusPublished - 25 Jan 1995

    Keywords

    • METIS-119300

    Cite this