Sémantiques mécanisées : quand la machine raisonne sur ses langages (12) - Xavier Leroy (2019-2020)

Whole-channel inclusion: Mathématiques et informatique - Collège de France is an honest teaching channel (title sample + 3 transcripts read: All three transcripts show genuine advanced academic lecture content delivered as part of structured Collège de France courses, consistent with the whole-channel verdict.); this title passed a strict title check (sonnet) after a labelling pass.

A 88-minute video from Mathématiques et informatique - Collège de France: “Sémantiques mécanisées : quand la machine raisonne sur ses langages (12) - Xavier Leroy (2019-2020)”.

Video by Mathématiques et informatique - Collège de France, played through YouTube's embedded player.