Preskoči na glavno vsebino

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)