Revision as of 15:42, 25 October 2005 edit David Wahler (talk \| contribs) 491 edits merged from Church boolean ← Previous edit		Revision as of 15:47, 25 October 2005 edit undo David Wahler (talk \| contribs) 491 edits →Church booleans: added boolean functions Next edit →
Line 110: Formal definition in [[lambda calculus]]: true := λab.a false := λab.b Functions of boolean arithmetic can be derived for Church booleans: AND <m> <n> := λmnab.m(nab)b OR <m> <n> := λmnab.ma(nab) NOT <m> := λmab.mba ==See also==

Church encoding: Difference between revisions