13
Examples [ in class ]
•
Compute
m
n
(
f
), then
m
(
f
):
•
–
R(0,1)
/* I’m using constants here */
–
R(0,1)
Æ
R(0,3)
Æ
:
R(1,3)
–
9
x.R(2,x)
–
:
(
9
x.
9
y.R(x,y))
–
8
x.
8
y.(
9
z.R(x,z)
Æ
R(z,y))
–