Theoretical Computer Science Bibliography Theoretical Computer Science Bibliography Mariangiola Dezani-Ciancaglini and J. Roger Hindley . Intersection types for combinatory logic.
Normalization results for typeable rewrite systems.
M. W. Bunder. Lambda terms definable as combinators. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, and Betti Venneri.