Zagovor dela diplomskega seminarja: Neža Korenjak, Curry-Howardova korespondenca
Datum objave: 5. 8. 2022
Zagovor diplome na Oddelku za matematiko
V sredo, 17. 8. 2022, ob 11.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Neža KORENJAK (univerzitetni študijski program prve stopnje Matematika)
bo zagovarjala delo diplomskega seminarja z naslovom »Curry-Howardova korespondenca«
dne 17. 8. 2022 ob 11.00 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Komisija:
- prof. dr. Roman Drnovšek (predsednik)
- prof. dr. Andrej Bauer (mentor)
- doc. dr. Matija Pretnar (član)
