Cette page est reliée au cours de Maitrise d'Informatique sur la sémantique des langages de programmation, organisé par Yves Bertot. Les cours magistraux sont assurés par Yves Bertot et Marieke Huisman et les Travaux dirigés sont assurés par Philippe Audebaud et Pascal Zimmer.

Des notes de cours sont disponibles depuis la page cours de sémantique
to top