University
of Washington • CSE583 • D. Notkin © 2000
74
(Non-negative) integers
lHere’s a scheme for representing non-negative integers
–0 º lf · lx · x
–1 º lf · lx · f x
–2 º lf · lx · f (f x)
–3 º lf · lx · f (f (f x))
lThat is, every time we see lf · lx · f (f x), we think “Oh, that’s 2”
lYou can think of f as “increment by
1”