Next: Synthesis of (lambda(f g)
Up: Addition of the numbers
Previous: Abstraction: `compose'
Contents
Start
Substitution of `compose' in [4]
![\begin{lstlisting}[language=Scm]{}
(lambda(f)
((lambda(f g)
(lambda(x)
(f (g x))))
(two f)
(three f))) [6]
\end{lstlisting}](img194.gif)
The outer abstraction `(lambda(f)' is omitted in the following steps 7 - 15
for simplicity reasons and will be reinstalled later in step 16.
Georg P. Loczewski
2004-03-05