Proofs and Programs

Instructor: Michele Pagani

Institution: ENS de Lyon

Year: 2025–2026