Navigation

Introduction to Dependently Typed Programming (SoSe 2022)

Dozent Sergey Goncharov
Vorlesung/Übungen Mo, Mi, 14:15 – 15:45, 00.131-128

Achtung, geändert! Mo, 14:15 – 15:45, 02.134-113; Mi, 14:15 – 15:45, 00.131-128

Zielgruppe WF M-BA ab 3 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WF M-MA ab 1 (ECTS-Credits: 7,5)

Übungsblätter

Misc Agda Files

Quellenverzeichnis