\begin{slide}{Kombinatorische Logik}

bisher: closure conversion $+$ lifting:

beliebiges Programm (Lambda-Ausdruck) $\Rightarrow$
Programm mit nur globalen Funktionen (und Tupeln)

\bigskip




\end{slide}
