M1 MPRI : Lambda-calculus and programming languages semantics

Course notes

• Chapter 1 : lambda-calculus [ .pdf ]
• Chapter 2 : confluence [ .pdf ]