Istraživači
Kašterović, Simona
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2021 | Towards Logic of Combinatory Logic | Kašterović, Simona   ; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Kripke-style semantics and completeness for full simply typed Lambda calculus | Kašterović, Simona ; Ghilezan, Silvia | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |