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.
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.