Vue d'ensemble
Informatique (Sci) : Programming language semantics. Lambda calculus, the Church Rosser theorem, typed lambda calculus, the strong normalization theorem, polymorphism, type inference, elements of domain theory, models of the lambda calculus, relating operational and denotational semantics, full abstraction. Reasoning about programs. Soundness and relative completeness of program logics.
Trimestres : Ce cours n’est pas au programme de l’année universitaire 2015-2016.
Chargés de cours : Aucun professeur n’est associé à ce cours pour l’année universitaire 2015-2016.