Xavier Leroy Annual summaries Software Science Annual summaries Chair menu The chair Biography and publications Public lectures Guest lecturers Annual summaries Audios and videos News Podcasts / RSS Apple Podcasts Spotify Flux RSS Podcast News RSS Audio-visual RSS Share Facebook Linkedin Copy url
The chair Biography and publications Public lectures Guest lecturers Annual summaries Audios and videos News Professor's lectures and seminars summaries 2020-2021 - Program logic: when the machine reasons about its software Digital publishing (OpenEdition) Download PDF pdf (1.38 MB) 2019-2020 - Mechanized semantics: when the machine reasons about its languages Digital publishing (OpenEdition) Download PDF pdf (633.78 KB) 2018-2019 - Programming = demonstrating? Curry-Howard correspondence today Digital publishing (OpenEdition) Download PDF pdf (671.02 KB)
