Bartosz Milewski: A Taste of Type Theory

Voici la transcription originale de la vidéo, telle quelle et non relue. Le texte intégral remanié, le résumé et les traductions sont sur la page de l'article.