Researchers

eNauka > Researchers > Prokić, Simona

Kašterović, Simona

Date issued

3 2019
3 2018
1 2017

Mp-cat.

7 M30/M60

Date issued - custom

Year from:

Year to:

Refined By:

Date Issued: [2010 TO 2019]

Type: Konferencijski rad

Issue Date	Title	Author(s)	Type	Мp-cat.
2019	Kripkeove semantike za lambda račun sa parovima - i sumama	KAŠTEROVIĆ, SIMONA Đ.	Conference Paper	Mp. category will be shown later
2019	Kripke Semantics for Lambda Calculus - with Pairs and Disjoint Sums	KAŠTEROVIĆ, SIMONA Đ. ; Gilezan, Silvia K.	Conference Paper	Mp. category will be shown later
2019	The Discriminating Power of the Let-in Operator in the Lazy Call-by-Name Probabilistic λ-Calculus	KAŠTEROVIĆ, SIMONA Đ.	Conference Paper	Mp. category will be shown later
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
2017	Towards Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D.	Conference Paper	Mp. category will be shown later