Истраживачи



Филтрирано по:
Мп-кат.:  M21

ГодинаНасловАутор(и)Тип резултатаМп-кат.
2021Kripke-style semantics and completeness for full simply typed Lambda calculusKašterović, Simona  ; Ghilezan, Silvia Научни чланак
21M21 - Рад у врхунском међ. часопису