Kašterović, Simona

Година од:

Година до:

Филтрирано по:

Година: [2010 TO 2019]

Година: 2019

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2019	Kripkeove semantike za lambda račun sa parovima - i sumama	KAŠTEROVIĆ, SIMONA Đ.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	Kripke Semantics for Lambda Calculus - with Pairs and Disjoint Sums	KAŠTEROVIĆ, SIMONA Đ. ; Gilezan, Silvia K.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	The Discriminating Power of the Let-in Operator in the Lazy Call-by-Name Probabilistic λ-Calculus	KAŠTEROVIĆ, SIMONA Đ.	Конференцијски рад	Мп категорија ће бити приказана накнадно.