Istraživači
Ghilezan, Silvia
Godina
Rezultati 21-37 od 37
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2007 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Pantović, Jovanka  | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2007 | Intersection types for λGtz-calculus | Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Separating points by parallel hyperplanes-characterization problem | Ghilezan, Silvia ; Pantović, Jovanka ; Žunić, Joviša | Naučni članak | 21a+M21a+ - Vodeći međunarodni časopis kategorije M21a+ |
| 2007 | Intersection types for intuitionistic lambda-Gentzen calculus | Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic. | Ghilezan, Silvia | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2007 | Partitioning finite d-dimensional integer grids with applications | Ghilezan, Silvia ; Pantović, Jovanka ; Žunić, Joviša | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2007 | A general technique for analyzing termination in symmetric proof calculi | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2005 | Intersection and union types in the λ̄μμ̃-calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | Characterizing strong normalization in a language with control operators | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2003 | A behavioural lambda model | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | Confluence of untyped lambda calculus via simple types | Ghilezan, Silvia ; Kunčak, Viktor | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2001 | Full intersection types and topologies in lambda calculus | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | Types and confluence in lambda calculus | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | Reducibility method in simply typed lambda calculus | Ghilezan, Silvia ; Kunčak, Viktor | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1997 | The “Relevance” of intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1996 | Strong normalization and typability with intersection types | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |