Istraživači



Filtrirano po:
Godina:  [2020 TO 2025]
Mp-kat.:  M21

GodinaNaslovAutor(i)Tip rezultataMp-kat.
2021Kripke-style semantics and completeness for full simply typed Lambda calculusKašterović, Simona  ; Ghilezan, Silvia Naučni članak
21M21 - Rad u vrhunskom međ. časopisu