This site is dedicated to the M1 Computer Science MPRI on lambda-calculus and programming language semantics during Fall 2025
The material has been created by Thibaut Balabonski for previous sessions of this course
Modalités:
ECTS:
Type:
Complexité:
Condition d'accès:
Année: 25/26