The Lambda calculus
Introduction
Lambda calculus reduction strategy for rewriting
Logic using the Lambda calculus
lambda negation. lambda true false.
Representing natural number arithmetic using the lambda calculus
lambda numerals. lambda addition.
Branching using the lambda calculus
if else.
Partial functions and currying
partial functions (take a function and fix some parameters, creates function with lower dimensions. Has uses). currying.
The Y combinator
Simply typed Lambda calculus