Práce v lambda kalkulu

Church encoding

T λxy.x
F λxy.y
NOT λx.xFT
AND λxy.xyF
OR λxy.xTy
XOR λxy.x(NOT y)y
EQ λxy.xy(NOT y)
0, 1, 2, 3, … λfx.x
λfx.fx
λfx.f(fx)
λfx.f(f(fx))
λfx.fⁿx
succ λnfx.f(nfx)
add λmnfx.mf(nfx)
mult λmnf.m(nf)
mⁿ λmn.nm
iszero λm.mv.FALSE)TRUE
if then else λctf.ctf
tuple λfse.efs
first λp.pab.a)1)
second λp.pab.b)2)
1)
TRUE
2)
FALSE