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

Ordered Pairs

        PAIR
        FIRST
        SECOND

such that

        (FIRST  (PAIR  x y))                => x
        (SECOND (PAIR  x y))                => y

for all x and y



Next Copyright © 1999 M-J. Dominus