Betti Venneri Intersection Types as Logical Formulae. 109-124 1994 4 J. Log. Comput. 2 db/journals/logcom/logcom4.html#Venneri94 http://dx.doi.org/10.1093/logcom/4.2.109