Istraživači
Kašterović, Simona
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2021 | Kripke-style semantics and completeness for full simply typed Lambda calculus![]() | Kašterović, Simona | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
