next up previous contents index
Next: Synthesis of (lambda(f g) Up: Addition of the numbers Previous: Abstraction: `compose'   Contents   Index

Substitution of `compose' in [4]

((lambda(f g)
(f (g x))))
(two f)
(three f))) [6]
The outer abstraction `(lambda(f)' is omitted in the following steps 7 - 15 for simplicity reasons and will be reinstalled later in step 16.

domain access counter Georg P. Loczewski 2004-03-05