"Filter Models: Non-idempotent Intersection Types, Orthogonality and ..."

Alexis Bernadet, Stéphane Lengrand (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics