Course Information

Welcome to the webpage of my colloquium for the summer semester of 2022!

We will spend (at least the beginning of) this course discussing the lambda calculus.