User:Nandhp/Books/Lambda Calculus


 * Lambda calculus
 * First-class function
 * Anonymous function
 * Currying
 * Church encoding
 * Fixed point combinator
 * Alonzo Church
 * Haskell Curry
 * Church–Turing thesis