News
New Homework
Written on 13.05.2022 18:27 by Michael Sammler
Hello everyone,
the new homework, the recording of the lecture today, and the notes from the semantics course are available on the materials page now. Enjoy!
Category Theory
Derek Dreyer, Andrew Hirsch, Jan Menz, Michael Sammler