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

Recursion

        ADD = mn.(IF (IS_ZERO m) n (ADD (PRED m) (SUCC n)))
        R = g.mn.(IF (IS_ZERO m) n (g (PRED m) (SUCC n)))
        (R ADD) == ADD


Next Copyright © 1999 M-J. Dominus