Type Theory (Laurea Magistrale in Matematica)


This page provides some information about the course. Also refer to ESSE3 for the syllabus and other information.

What is Type Theory about?

Prospective students can read an informal introduction.

Course Material


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.


Home - Teaching

Valid CSS Valid XHTML 1.1 Roberto Zunino, 2016