Bartosz Milewski: A Taste of Type Theory

Das ist das Originaltranskript des Videos, unverändert und unbearbeitet. Der überarbeitete Volltext, die Zusammenfassung und die Übersetzungen stehen auf der Artikelseite.