Partiality in Logic and Computation - Aspects of Undefinedness

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    Original languageEnglish
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Barendregt, H.P., Supervisor
    • Nijholt, Antinus , Supervisor
    Award date4 Feb 1994
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-9006865-1
    Publication statusPublished - 4 Feb 1994

    Keywords

    • partiële logica / lambda calculus / ongedefinieerdheid
    • EWI-10910
    • METIS-118394
    • HMI-IE: Information Engineering

    Cite this