The Lambda Calculus

Table of Contents

The Lambda Calculus

Contents

Untyped Extended Syntax (2)

Using (“Applying”) a function

Rules for Evaluation (1)

Rules for Evaluation (2)

b reduction and a renaming

b reduction and a renaming

b reduction and a renaming

Reduction Strategies

Church-Rosser Theorem

Normalising orders

Comparing strategies

Reduction to Normal Form

Reduction to Normal Form

WHNF and Principal HNF

Summary

Enough Lambda Calculus!

Email: clack@cs.ucl.ac.uk

Home Page: http://www.cs.ucl.ac.uk/staff/C.Clack/