Title: The calculi of lambda-conversion
Subjects: Functions, Symbolic and mathematical Logic