Lambda Calculus

home1 home2
 Bib
 Algorithms
 Bioinfo
 FP
 Logic
 MML
 Prog.Lang
and the
 Book

FP
 Lambda (external)
 Lambda (local)
  Syntax
  Introduction
  λ-Examples

Also see:
 PFL
 Prolog intro
Semantics

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

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite
The GIMP
~ free photoshop
Firefox
web browser

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

© L. Allison   http://www.allisons.org/ll/   (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, 28-Mar-2024 23:00:25 AEDT.