\newcommand{\True}{\operatorname{\sf True}}
\newcommand{\False}{\operatorname{\sf False}}
\newcommand{\Succ}{\operatorname{\sf Succ}}
\newcommand{\Zero}{\operatorname{\sf Zero}}

\begin{slide}{Lambda-Kalkül als universelles Modell}

  \begin{itemize}
  \item 
Wahrheitswerte:

$\True = \lambda x y.x, \False = \lambda x y .y$

(damit läßt sich if-then-else leicht aufschreiben)
\item
  natürliche Zahlen:
  
$0 = \lambda x.x; (n+1) = \langle\False,n\rangle$

(damit kann man leicht $x > 0$ testen)
\item
  Rekursion? 

  \end{itemize}



\end{slide}
