Résumés annuels La chaire Biographie et publications Cours, séminaires, colloques Conférenciers invités Résumés annuels Flux RSS Podcasts Apple Podcasts Spotify Flux RSS Podcast Résumés des cours et séminaires du professeur 2019-2020 – Sémantiques mécanisées : quand la machine raisonne sur ses langages Publication numérique (OpenEdition) Télécharger le PDF pdf (633.78 Ko) 2018-2019 – Programmer = démontrer ? La correspondance de Curry-Howard aujourd’hui Publication numérique (OpenEdition) Télécharger le PDF pdf (671.02 Ko)