Researchers
Kašterović, Simona
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2018 | Towards Probabilistic Testing of Lambda Terms | KAŠTEROVIĆ, SIMONA Đ.   ; Michele Pagani | Conference Paper | Mp. category will be shown later |
| 2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic | Conference Paper | Mp. category will be shown later |
| 2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Zoran Ognjanović ; Nenad Savić | Conference Paper | Mp. category will be shown later |