Lambda Calculus

LA home
Computing
 Algorithms
 Bioinformatics
 FP,  λ
 Logic,  π
 MML
 Prog.Langs

FP
 Lambda (code)
  Syntax
  Introduction
  λ-Examples

Also see:
 PFL
 Prolog intro
Semantics

λ 2

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
window on the wide world:

Computer Science Education Week

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite,
ver 3.4+

The GIMP
~ free photoshop
Firefox
web browser
FlashBlock
like it says!

λ ...
:: 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 Sunday, 26-Oct-2014 14:35:16 EST.