Welcome to the homepage of Types and semantics.
I’ve uploaded the code from today’s lecture, proving termination of the simply-typed lambda calculus.
I’ve uploaded the code from today’s lecture. I’ll try to upload the next exercise set shortly. Watch your mailbox for instructions regarding the marking of the previous exercise.
The second exercise set is now also online. Depending on how far we get in the next lecture, there may be further assignments…
The slides and code corresponding to today’s lecture can be found in the schedule. Also, don’t forget to submit the first exercise set before midnight tomorrow via submit!
There is a new file with the code from the lecture online.
The demo code for the third lecture is now also online. Apologies for the delay!
The slides and code for the second lecture are up. The first exercise set is now also online.
The slides and code from the first lecture are now up. You can also find links from the schedule.