Computationelle Perspektive auf moderne Typentheorie

Bachelorarbeit aus dem Jahr 2021 im Fachbereich Informatik - Computerlinguistik, Note: 2,3, Heinrich-Heine-Universität Düsseldorf, Sprache: Deutsch, Abstract: In dieser Bachelorarbeit geht es um die moderne Typentheorie. Vorab wird die veraltete Typentheorie vorgestellt und wird mit der modernen Typentheorie verglichen. Auf die Einleitung folgend werden im zweiten Kapitel zunächst die Grundprinzip...