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 ![]() | |
Jan-2011 | |
Heriot-Watt University, Edinburgh, Scotland | |
PhD | |
http://hdl.handle.net/10993/22668 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.