next up previous contents index
Next: Synthesis of (lambda(f) ...) Up: Addition of the numbers Previous: Abstraction `two'   Contents   Start


Substituting `two' in [11]


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


Georg P. Loczewski 2004-03-05

Impressum und Datenschutz