Roberto Zunino, 2016
This page provides some information about the course. Also refer to ESSE3 for the syllabus and other information.
Prospective students can read an informal introduction.
This list is not exhaustive. You can propose another topic for your presentation. If you do, I will evaluate whether it is appropriate for the course and in such case approve it. For instance, if you find a programming language which has interestingly advanced types and you simply want to experiment with that and show some examples you tried, you can propose it.
Some topics are more complex others, but in such cases I only require a comparable effort to the one that would be needed for a simpler topic. For instance, you could skip a part of a complex paper, limiting yourself to the fundamental notions and results. You could also skip the proofs, and only present some examples.
The exam comprises a presentation and a written test.
Students have to individually study a topic related to type theory, which was not covered in the course, and present it. For instance, a research paper or book chapter can be presented.
The written test comprises both theoretical questions and exercises.
Roberto Zunino, 2016