Jump to content

User:Nandhp/Books/Lambda Calculus

From Wikipedia, the free encyclopedia


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