Enseignement 2018-2019 : Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Cours du mercredi 23 janvier 2019 : Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types
Intervenant(s) : Xavier Leroy, Collège de France
Chaire Sciences du logiciel
Professeur : Xavier Leroy
Retrouvez tous ses enseignements :
www.college-de...
Mots-clés : Langages de programmation, Logiciels informatiques, Programmation informatique, Sécurité informatique
Le Collège de France est une institution de recherche fondamentale dans tous les domaines de la connaissance et un lieu de diffusion du « savoir en train de se faire » ouvert à tous.
Les cours, séminaires, colloques sont enregistrés puis mis à disposition du public sur le site internet du Collège de France.
Découvrez toutes les ressources du Collège de France :
www.college-de...
Suivez-nous sur :
Facebook : / college.de.france
Instagram : / collegedefrance
Twitter : / cdf1530
LinkedIn : / collègedefrance
Негізгі бет Programmer = démontrer ? La correspondance de Curry-Howard... (15) - Xavier Leroy (2018-2019)
Пікірлер