Gilezan, Silvia

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 81-100 од 119 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2012	A journey through resource control lambda calculi and explicit substitution using intersection types	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2012	Računske interpretacije intuicionističke i klasične logike	Gilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	Intersection types for explicit substitution with resource control	Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	Intersection types and related systems	Gilezan, Silvia ; Paolini, Luca	Научни чланак	22M22 - Међународни часопис категорије M22
2012	Privacy for Linked Data	Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2011	Resource control calculi	Gilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2011	Types for role-based access control of dynamic web data	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola, Dezani-Cianciaglini	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2011	Intersection types for the resource control lambda calculi	Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2011	Intuitionistic sequent-style calculus with explicit structural rules	Gilezan, Silvia ; Žunić, Dragiša ; Ivetić, Jelena ; Lescanne, Pierre	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2010	Computational interpretations of logic	Gilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2010	Resource control in sequent lambda calculus	Gilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2009	Computational interpretations of logics	Ghilezan, Silvia ; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2005	Strong normalization of the dual classical sequent calculus	Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia	Научни чланак	23M23 - Међународни часопис категорије M23
2004	Behavioural inverse limit λ-models	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia	Научни чланак	22M22 - Међународни часопис категорије M22
2004	Classical Proofs, Typed Processes, and Intersection Types	Ghilezan, Silvia ; Lescanne, Pierre	Научни чланак	22M22 - Међународни часопис категорије M22
2003	Two behavioural lambda models	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia	Научни чланак	22M22 - Међународни часопис категорије M22
2003	Extensions of the reducibility method	Ghilezan, Silvia ; Likavec, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2003	Reducibility: A ubiquitous method in lambda calculus with intersection types	Ghilezan, Silvia ; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2001	Reducibility method for termination properties of typed lambda terms	Ghilezan, Silvia ; Kunčak, Viktor ; Likavec, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Intersection types and topologies in lambda calculus	Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.