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.m(λv.FALSE)TRUE
if then else	λctf.ctf
tuple	λfse.efs
first	λp.p(λab.a)1) TRUE
second	λp.p(λab.b)2) FALSE