Inhaltsangabe oder Einleitung
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 Grundprinzipien und -regeln von MTTs sowie von STTs vorgestellt. Darauffolgend wird im dritten Kapitel gezeigt, wie eine MTT und die Montague-Grammatik mit linguistischen Phänomenen und diversen Wortarten umgehen. Darauf schließen wir im vierten Teil der Arbeit mit einem kontrastiven Vergleich der beiden Ansätze und der Bewertung ihrer Vorzüge und Defizite im Hinblick auf die Untersuchungskriterien Effizienz und Akkuratheit und damit der Beantwortung der Forschungsfrage: "Hat sich das Opfern der Eigenschaften von simplen Typentheorien gelohnt?"
- Arbeit zitieren
- Eray Özbey (Autor:in)Aaron Micha (Autor:in), 2021, Computationelle Perspektive auf moderne Typentheorie, München, GRIN Verlag, https://www.grin.com/document/1148625
Kostenlos Autor werden
Kommentare