Истраживачи

Резултати 21-37 од 37
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2007Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic.Ghilezan, Silvia Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2007Partitioning finite d-dimensional integer grids with applicationsGhilezan, Silvia ; Pantović, Jovanka  ; Žunić, Joviša  Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2007A general technique for analyzing termination in symmetric proof calculiDougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreКонференцијски рад
Мп категорија ће бити приказана накнадно.
2007Security types for dynamic web dataDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka  Научни чланак
23M23 - Међународни часопис категорије M23
2007Intersection types for intuitionistic lambda-Gentzen calculusGhilezan, Silvia ; Ivetić, Jelena  Научни чланак
Мп категорија ће бити приказана накнадно.
2007Separating points by parallel hyperplanes-characterization problemGhilezan, Silvia ; Pantović, Jovanka  ; Žunić, Joviša  Научни чланак
21a+M21a+ - Водећи међународни часопис категорије M21a+
2007Intersection types for λGtz-calculusGhilezan, Silvia ; Ivetić, Jelena  Научни чланак
Мп категорија ће бити приказана накнадно.
2005Intersection and union types in the λ̄μμ̃-calculusDougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreКонференцијски рад
Мп категорија ће бити приказана накнадно.
2004Characterizing strong normalization in a language with control operatorsDougherty, Dan; Ghilezan, Silvia ; Lescanne, PierreКонференцијски рад
Мп категорија ће бити приказана накнадно.
2003A behavioural lambda modelDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia Научни чланак
Мп категорија ће бити приказана накнадно.
2001Types and confluence in lambda calculusGhilezan, Silvia Конференцијски рад
Мп категорија ће бити приказана накнадно.
2001Reducibility method in simply typed lambda calculusGhilezan, Silvia ; Kunčak, ViktorНаучни чланак
Мп категорија ће бити приказана накнадно.
2001A lambda model characterizing computational behaviours of termsDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia Конференцијски рад
Мп категорија ће бити приказана накнадно.
2001Full intersection types and topologies in lambda calculusGhilezan, Silvia Научни чланак
Мп категорија ће бити приказана накнадно.
2001Confluence of untyped lambda calculus via simple typesGhilezan, Silvia ; Kunčak, ViktorНаучни чланак
21M21 - Водећи међународни часопис категорије M21
1997The “Relevance” of intersection and union typesDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, BettiНаучни чланак
Мп категорија ће бити приказана накнадно.
1996Strong normalization and typability with intersection typesGhilezan, Silvia Научни чланак
Мп категорија ће бити приказана накнадно.