"Intersection Types from a Proof-theoretic Perspective."

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics