|Reference : Investigations in intersection types: Confluence, and semantics of expansion in the l...|
|Dissertations and theses : Doctoral thesis|
|Engineering, computing & technology : Computer science|
|Investigations in intersection types: Confluence, and semantics of expansion in the lambda-calculus, and a type error slicing method|
|Rahli, Vincent [Heriot-Watt University > School of Mathematical and Computer Sciences]|
|Heriot-Watt University, Edinburgh, Scotland|
|File(s) associated to this reference|
All documents in ORBilu are protected by a user license.