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


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}


Georg P. Loczewski 2004-03-05

Impressum und Datenschutz