"Completeness and Soundness Results for with Intersection and Union Types."

Steffen van Bakel (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics