Webpage for the course:
<p><i>The Lambda-Calculus, from Minimal to Classical Logic</i>, ESSLLI 2025 Summer School (Bochum, Germany)</p>