Lambda Calculus

home1 home2
and the

 Lambda (external)
 Lambda (local)

Also see:
 Prolog intro

This is a brief introduction to the lambda calculus and the interpreter, including executable example λ-calculus programs and source code; it should be used in conjunction with a book or other material.

  1. Introduction
  2. Lambda Calculus
  3. A Functional Programming Language
  4. Programming Techniques:
  5. The Parser
  6. Execution
  7. Exercises
  8. Appendix - Misc' Routines
  9. Lambda Calculus Example Programs

The toy Lambda Calculus interpreter can be run through the wwweb. You should read at least the sections down to and including Programming Techniques first. There are very tight limits set on the size and running time of programs that can be run in this way.

© L.A. 1996
Coding Ockham's Razor, L. Allison, Springer

A Practical Introduction to Denotational Semantics, L. Allison, CUP

free op. sys.
free office suite
~ free photoshop
web browser

λ ...
:: list cons
nil the [ ] list
null  predicate
hd head (1st)
tl tail (rest)

© L. Allison   (or as otherwise indicated),
Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of Computer Science and Software Engineering, Fac. Info. Tech., Monash University,
was Department of Computer Science, Fac. Comp. & Info. Tech., '89 was Department of Computer Science, Fac. Sci., '68-'71 was Department of Information Science, Fac. Sci.)
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Thursday, 25-Jul-2024 05:31:49 AEST.