Jump to content

Lambda Calculus/Theory

From Wikibooks, open books for an open world

This page provides some example functions.

id = \x.x
true = \x.(\y.x) // returns first
false = \x.(\y.y) // returns second
and = \x.(\y.x y false) // if true, returns y, else false
or = \x.(\y.x true y)
not = \x.(x false true)
zero = false // \f.(\x.x)
one = \fx.fx // \fx. is another way of writing \f.(\x.???)
two = \fx.f(fx) // and so on and so forth...
...................................
add = \ab.(\f.a f b)