Dear students
please find info about lectures, references, and final examinations
about the course TYPE THEORY 2022
at my homepage of the course
https://www.math.unipd.it/~maietti/typ22.html
The lectures will be given physically in the room (unless agreed otherwise for some of you abroad)
on Thursdays: from 16.30 up to 18 in 1BC50
on Friday: from 14.30 up to 16 in 1BC50
24hs of "theory" by myself
24hs of "practice" by Ingo Blechschmidt: he will teach how to use the proof-assistant Agda.
There are videos published on the page moodle of the course "TYPE THEORY"
taught last year in
https://elearning.unipd.it/math/course/view.php?id=894
Many thanks for your cooperation!
MEM