\begin{slide}{Eigenschaften polym. Typsyst.}

  \begin{itemize}
  \item Termination: 

    getypte Programme terminieren
  \item Rekonstruktion: 

    es gibt Algorithmus,
    der Typ eines ungetypten Programms ausrechnet
    oder ablehnt, falls es keinen  Typ besitzt

    (Rang 2: ja, beliebiger Rang: nein)
  \end{itemize}


\end{slide}
