Booleans in Lambda Calculus
Boolean constants can be added to the syntax of the Lambda Calculus: i.e., true, false
However, in principle they are not necessary, because certain expressions can be used to represent them.
False = 0 = ?x.?y.y A fn that returns an ident. fun.
True = ?x.?y.x A fn that returns its “first arg.”