\begin{slide}{Transformation f. Applikation}

\begin{verbatim}
CPS[ (app f a1 ... an) ] =
(abs (k) 
  (app CPS[f] (abs (i_0) 
    (app CPS[a1] (abs (i_1) 
      ...
        (app CPS[an] (abs (i_n)
           (app i_0 i_1 ... i_n k)))...)))))
\end{verbatim}

dabei sind \verb|k, i_0, .. i_n| \emph{frische}
Namen ($=$ die im gesamten Ausdruck nicht vorkommen)

\bigskip
Ü: ähnlich für Primop (Unterschied?)  

\end{slide}
