WikiDer > Typentheorie

In dem Mathematik, das Logik und der Informatik ist der Typentheorie einer der formale Systeme das kann als Alternative zu den naive Mengenlehre oder für das Studium formaler Systeme im Allgemeinen. In dem Theorie der Programmiersprache, eine Unterregion der Informatik, kann das Typentheorie beziehen sich auf das Design, die Analyse und das Studium von Typsysteme, obwohl einige Informatiker die Bedeutung des Begriffs auf die abstrakten formalen Systeme beschränken, wie z typisierte Lambda-Rechnung.