Betti Venneri Intersection Types as Logical Formulae. 109-124 1994 4 J. Log. Comput. 2 db/journals/logcom/logcom4.html#Venneri94