Go backward to Preview of Fun
Go up to Top
Go forward to The Typed lambda-Calculus
The Untyped lambda-Calculus
- Expressions:
- e ::= x
- e ::= fun(x) e
- e ::= e(e)
- Introduction of names
- value id = fun(x) x
- value succ = fun(x) x+1
- value twice = fun(f) fun(y) f(f(y))
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: understand.tex,v 1.1 1996/06/12 09:38:21 schreine Exp schreine