\begin{slide}{Rechnen mit Kombinatoren}

  \begin{itemize}
  \item Standard-Basis:
    $K x y \to x, I x \to x, S x y z \to xz(yz)$
  \item  Tupel :
    $\langle A_1,\ldots, A_n\rangle := 
    \lambda x.x A_1 \ldots A_n$
  \item Projektionen: 
    $P^n_i \langle A_1,\ldots,A_n\rangle \to A_i$
  \item
    $X = \langle K,S,K \rangle$
  \item
    $XXX \to ?, X(XX) \to ?$
  \item
    Zahlen (nach Church): $[n] := \lambda f x.f^n(x)$
  \item 
    Nachfolger? Summe?
  \end{itemize}

(Barendregt, S. 140, 166)

\end{slide}
