Title: A bibliography of lambda-calculi, combinatory logics and related topics
Subjects: Combinatory logic, Bibliography, Lambda calculus