September 22, 1999 Perl and the Lambda Calculus Slide #18

Boolean Values

        IF
        TRUE
        FALSE

such that

        (IF TRUE  x y)              => x
        (IF FALSE x y)              => y

for all x and y



Next Copyright © 1999 M-J. Dominus