next up previous contents index
Next: Synthesis of the inner Up: Multiplication of the numbers Previous: Abstraction `three'   Contents   Index


Substitution of `two' and `three' in [23]


\begin{lstlisting}[language=Scm]{}
(lambda(x)
((lambda(f)
(lambda(x)
(f(f x))))
((lambda(f)
(lambda(x)
(f(f(f x)))))
x))) [26]
\end{lstlisting}



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