Categorical, functorial and algebraic aspects of the type-free lambda calculus Adam Obtułowicz, Antoni Wiweger (1982) Banach Center Publications
Category theory based on combinatory logic. M.W. Bunder (1984) Archiv für mathematische Logik und Grundlagenforschung
Complexité de la réduction en logique combinatoire Richard Canal (1978) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Complexity of λ -term reductions M. Dezani-Ciancaglini, S. Ronchi Della Rocca, L. Saitta (1979) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
CPO-models for second order lambda calculus with recursive types and subtyping E. Poll, C. Hemerik, H. M. M. Ten Eikelder (1993) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications