September 22, 1999 | Perl and the Lambda Calculus | Slide #12 |

Show that -calculus can indeed compute anything interesting

How?

Build a programming language

Values

Conditional tests

Data structures

Numbers

Arithmetic

Next | Copyright © 1999 M-J. Dominus |