The Work The Lambda Calculus — Its Syntax and Semantics The details The Author Henk Barendregt The offers View paperback on Amazon