Instruction

Name Cr Method of study Time Location Organiser
Seminar on Type Theory 5 Cr Seminar 12.3.2020 - 30.4.2020