Investigations in intersection types: Confluence, and semantics of expansion in the lambda-calculus, and a type error slicing method

Reference : Investigations in intersection types: Confluence, and semantics of expansion in the l...


	Document type :	Dissertations and theses : Doctoral thesis
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/22668

Title :	Investigations in intersection types: Confluence, and semantics of expansion in the lambda-calculus, and a type error slicing method
Language :	English
Author, co-author :	Rahli, Vincent [Heriot-Watt University > School of Mathematical and Computer Sciences]
Publication date :	Jan-2011
Institution :	Heriot-Watt University, Edinburgh, Scotland
Name of the degree :	PhD
Permalink :	http://hdl.handle.net/10993/22668

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Rahli-Thesis.pdf		Author preprint	2.77 MB	View/Open

All documents in ORBi^lu are protected by a user license.