"Intersection Types with Subtyping by Means of Cut Elimination."

Olivier Laurent (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics