Type theory Stockholm University Course syllabus search Course syllabus search Course, Second-cycle, Second level, Mathematics, Department of Mathematics Syllabuses Reading lists Syllabus Autumn 2019 Latest Syllabus Autumn 2013