Nota : Ceci est la version 2013–2014 de l’annuaire électronique. Veuillez mettre à jour l’année dans la barre d’adresse de votre navigateur pour une version plus récente de cette page, ou cliquez ici pour consulter l'annuaire la plus récente.
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 2013-2014.
Chargés de cours : Aucun professeur n’est associé à ce cours pour l’année universitaire 2013-2014.