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))
Author:
Wolfgang Schreiner
Last Modification: May 27, 1998