Истраживачи
Ghilezan, Silvia
Година
Резултати 21-37 од 37
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2007 | Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic.![]() | Ghilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2007 | Partitioning finite d-dimensional integer grids with applications![]() | Ghilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2007 | A general technique for analyzing termination in symmetric proof calculi![]() | Dougherty, Daniel; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2007 | Security types for dynamic web data![]() | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2007 | Intersection types for intuitionistic lambda-Gentzen calculus![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | Separating points by parallel hyperplanes-characterization problem![]() | Ghilezan, Silvia | Научни чланак | 21a+M21a+ - Водећи међународни часопис категорије M21a+ |
| 2007 | Intersection types for λGtz-calculus![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2005 | Intersection and union types in the λ̄μμ̃-calculus![]() | Dougherty, Daniel; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Characterizing strong normalization in a language with control operators![]() | Dougherty, Dan; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2003 | A behavioural lambda model![]() | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | Types and confluence in lambda calculus![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2001 | Reducibility method in simply typed lambda calculus![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | A lambda model characterizing computational behaviours of terms![]() | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2001 | Full intersection types and topologies in lambda calculus![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | Confluence of untyped lambda calculus via simple types![]() | Ghilezan, Silvia | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 1997 | The “Relevance” of intersection and union types![]() | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1996 | Strong normalization and typability with intersection types![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
