Partiality in Logic and Computation - Aspects of Undefinedness

Research output: Thesis › PhD Thesis - Research UT, graduation UT

Original language	English
Awarding Institution	University of Twente
Supervisors/Advisors	Barendregt, H.P., Supervisor Nijholt, A., Supervisor
Award date	4 Feb 1994
Place of Publication	Enschede
Publisher	University of Twente
Print ISBNs	90-9006865-1
Publication status	Published - 4 Feb 1994

Keywords

@phdthesis{017ce7a2ad374defb40f5eb6bf9af2d3,

title = "Partiality in Logic and Computation - Aspects of Undefinedness",

keywords = "parti{\"e}le logica / lambda calculus / ongedefinieerdheid, EWI-10910, METIS-118394, HMI-IE: Information Engineering",

author = "Jan Kuper",

year = "1994",

month = feb,

day = "4",

language = "English",

isbn = "90-9006865-1",

publisher = "University of Twente",

address = "Netherlands",

type = "PhD Thesis - Research UT, graduation UT",

school = "University of Twente",

}