Mir ist bewusst, dass eine ähnliche Frage zur Typentheorie in den Principia gestellt wurde, aber ich interessiere mich mehr für die Beziehung zwischen, sagen wir Martin-Lof-Typentheorie und intuitionistischer Logik.
Für die Typentheorie können Sie sehen:
Peter Andrews, Eine Einführung in die mathematische Logik und Typentheorie: Zur Wahrheit durch Beweis (1986)
J. Roger Hindley, Grundlegende einfache Typentheorie (1997)
Fairouz Kamareddine & Twan Laan, Eine moderne Perspektive der Typentheorie (2004)
ebenso gut wie :
Über Intuitionistisches TT :
Per Martin-Löf, Intuitionistische Typentheorie (1984)
Johan Georg Granström, Abhandlung über intuitionistische Typentheorie (2011).
Josef Weissmann