Usability: meaningfulness in typed lambda calculus.

    Research output: Other contributionOther research output

    Original languageUndefined
    Place of PublicationEnschede
    Publication statusPublished - 7 Dec 1993

    Keywords

    • METIS-122805

    Cite this