"The Inhabitation Problem for Rank Two Intersection Types."

Dariusz Kusmierek (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics