Sémantique des langages de programmation 2021/2022



Les transparents du cours

Chapitre    Dernière mise à jour
Introduction (PDF)   //
Abstract Rewriting (PDF)   //
Untyped Lambda Calculus (PDF)   //
Typed Lambda Calculus (PDF)   //
Strong Normalization (PDF)   //
Operational Semantics (PDF)   //
Sigma Algebras (PDF)   //
Unification (PDF)   //
Confluence (PDF)   //
Termination (PDF)   //


La page des TDs

Horaire et salle de cours
  • Le mercredi de 10h45 à 12h45, salle 1001 (SG).
  • Le jeudi de 14h00 à 16h00, salle 1001 (SG).

    Examen final
    TBA.