Xavier Leroy Résumés annuels Sciences du logiciel Résumés annuels Menu de la chaire La chaire Biographie et publications Enseignements Conférenciers invités Résumés annuels Audiovisuel Actualités Podcasts / RSS Apple Podcasts Spotify Flux RSS Podcast Flux RSS Actualités Flux RSS Audiovisuel Partager Facebook X (ex-Twitter) Linkedin Copier le lien
La chaire Biographie et publications Enseignements Conférenciers invités Résumés annuels Audiovisuel Actualités 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)
