Istraživači



Filtrirano po:
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