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