Zagovor dela diplomskega seminarja: Jona Koltaj, Eliminacija rezov v linearni logiki
Date of publication: 22. 9. 2025
Department of Mathematics BSc thesis defense
V petek, 26. 9. 2025, ob 8.30 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Jona KOLTAJ (univerzitetni študijski program prve stopnje Matematika) bo zagovarjala delo diplomskega seminarja z naslovom »Eliminacija rezov v linearni logiki« dne 26. 9. 2025 ob 8.30 v predavalnici 3.07, Jadranska 21, 3. nadstropje.
Komisija:
- izr. prof. dr. Pavle Saksida (predsednik)
- prof. dr. Andrej Bauer (mentor)
- prof. dr. Alexander Keith Simpson (član)
