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