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]


\begin{lstlisting}[language=Scm]{}
(lambda(f)
((lambda(f g)
(lambda(x)
(f (g x))))
(two f)
(three f))) [6]
\end{lstlisting}
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