Type Theory (Laurea Magistrale in Matematica)

Information

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

Exams

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.

References

Home - Teaching


Valid CSS Valid XHTML 1.1 Roberto Zunino, 2016