Reference : Investigations in intersection types: Confluence, and semantics of expansion in the l...
Dissertations and theses : Doctoral thesis
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22668
Investigations in intersection types: Confluence, and semantics of expansion in the lambda-calculus, and a type error slicing method
English
Rahli, Vincent mailto [Heriot-Watt University > School of Mathematical and Computer Sciences]
Jan-2011
Heriot-Watt University, ​Edinburgh, ​​Scotland
PhD
http://hdl.handle.net/10993/22668

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Rahli-Thesis.pdfAuthor preprint2.77 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.