Retour page d'accueil
M1 MPRI : Lambda-calculus and programming languages semantics
Course notes
Chapter 1: lambda-calculus [
.pdf
]
Chapter 2: confluence [
.pdf
]
Chapter 3: computability [
.pdf
]
Chapter 4: types [
.pdf
]
Chapter 5: implementation [
.pdf
]
Archive
Exam (2023) [
.pdf
]