Treatise on Intuitionistic Type Theory

Autor*innen

• Johan Georg Granström

Parameter

• 196 Seiten
• 7 Lesestunden

• Geschichte
• Informatik & Programmierung
• Mathematik
• Philosophie

Mehr zum Buch

Die intuitionistische Typentheorie wird als Teil der Vision einer universellen Wissenschaftssprache dargestellt. Das Buch behandelt Aspekte wie Mengenlehre, Referenz vs. Berechnung, Annahme und Substitution. Philosophische Themen wie Kompositionalität, Epistemologie und intuitionistische Logik werden ebenfalls behandelt, ergänzt durch historische Verweise.

• Sprache: Englisch, Deutsch
• Erscheinungsdatum: 2011
• Einband: Hardcover