Intersection types for lambda-terms and combinators and their logics
scientific article; zbMATH DE number 1836030