Surjective pairing and strong normalization : two themes in lambda calculus

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

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	University of Amsterdam
Begeleider(s)/adviseur	Barendregt, H.P., Promotor, Externe Persoon Peremans, W., Promotor Jongh, de, D.H.J., Co-Promotor, Externe Persoon
Datum van toekenning	7 jan. 1987
Plaats van publicatie	Delft
Uitgever	Eburon
Gedrukte ISBN's	90-70879-63-8
Status	Gepubliceerd - 1987

Citeer dit

@phdthesis{b45a610b8bf84af1a15f2b870eb00646,

title = "Surjective pairing and strong normalization : two themes in lambda calculus",

author = "\{Vrijer, de\}, R.C.",

year = "1987",

language = "English",

isbn = "90-70879-63-8",

publisher = "Eburon",

type = "Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)",

school = "University of Amsterdam",

}