Normalisation in lambda calculus and its relation to type inference

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

749 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Baeten, Jos, Promotor Barendregt, H.P., Promotor, Externe Persoon Geuvers, J.H. (Herman), Co-Promotor
Datum van toekenning	18 jun. 1996
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	90-386-0218-9
DOI's	https://doi.org/10.6100/IR461540
Status	Gepubliceerd - 1996

Toegang tot document

@phdthesis{1065827df8cb44f1bcf4a1d58efcb8ba,

title = "Normalisation in lambda calculus and its relation to type inference",

author = "P.G. Severi",

year = "1996",

doi = "10.6100/IR461540",

language = "English",

isbn = "90-386-0218-9",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}