Table of Contents
Lambda Calculus
Historical Context
Syntax of the Lambda Calculus
Examples
Constants in Lambda Calculus
The Successor Function
Booleans in Lambda Calculus
Evaluation of Expressions
Evaluation of Expressions
Simulating multiple arguments
Combinators
Conditionals in Lambda Calculus
Conditionals in Lambda Calculus
Recursion in Lambda Calculus
Factorial in the Lambda Calculus
Comment
Church’s Thesis
Concluding Remarks
|
Author: Steven L. Tanimoto
Email: tanimoto@cs.washington.edu
Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html
Download presentation source
|