for Explicit Substitutions Abstract (2008)
Van Bakel, Mariangiola Dezani-ciancaglini
We characterise the strongly normalising terms of a composition-free calculus of explicit substititions (with or without garbage collection) by means of an intersection type assignment system. The...
Intersection Type Assignment Systems Steffen (2008)
Van Bakel, Afdeling Informatica
This paper gives an overview of intersection type assignment for the Lambda Calculus, as well as compare in detail variants that have been defined in the past. It presents the essential intersection...