Live in four hours, the intro lesson of Thierry Coquand, creator of Coq/Rocq, in Colège de France in Paris: https://www.college-de-france.fr/fr/agenda/lecon-inaugurale/la-theorie-des-types-de-russell-aux-assistants-la-demonstration/la-theorie-des-types-de-russell-aux-assistants-la-demonstration
(in French, hopefully with subtitles; the buffet should be good also! 🙂)
(in French, hopefully with subtitles; the buffet should be good also! 🙂)
Comments