Researchers
Ghilezan, Silvia
Results 21-37 of 37
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2007 | Intersection types for intuitionistic lambda-Gentzen calculus | Ghilezan, Silvia  ; Ivetić, Jelena  | Article | Mp. category will be shown later |
| 2007 | Intersection types for λGtz-calculus | Ghilezan, Silvia ; Ivetić, Jelena | Article | Mp. category will be shown later |
| 2007 | Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic. | Ghilezan, Silvia | Book parts | Mp. category will be shown later |
| 2007 | Partitioning finite d-dimensional integer grids with applications | Ghilezan, Silvia ; Pantović, Jovanka ; Žunić, Joviša | Book parts | Mp. category will be shown later |
| 2007 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka | Article | 23M23 |
| 2007 | A general technique for analyzing termination in symmetric proof calculi | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2007 | Separating points by parallel hyperplanes-characterization problem | Ghilezan, Silvia ; Pantović, Jovanka ; Žunić, Joviša | Article | 21a+M21a+ |
| 2005 | Intersection and union types in the λ̄μμ̃-calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2004 | Characterizing strong normalization in a language with control operators | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2003 | A behavioural lambda model | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Article | Mp. category will be shown later |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2001 | Types and confluence in lambda calculus | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2001 | Confluence of untyped lambda calculus via simple types | Ghilezan, Silvia ; Kunčak, Viktor | Article | 21M21 |
| 2001 | Full intersection types and topologies in lambda calculus | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 2001 | Reducibility method in simply typed lambda calculus | Ghilezan, Silvia ; Kunčak, Viktor | Article | Mp. category will be shown later |
| 1997 | The “Relevance” of intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | Article | Mp. category will be shown later |
| 1996 | Strong normalization and typability with intersection types | Ghilezan, Silvia | Article | Mp. category will be shown later |