Martin W. Bunder: A Classification of Intersection Type Systems. J. Symb. Log. 67(1): 353-368 (2002)