Istraživači
Gilezan, Silvia
Rezultati 81-100 od 119
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2012 | Računske interpretacije intuicionističke i klasične logike | Gilezan, Silvia   | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Proof Theory Chapter 6C | Gilezan, Silvia | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2012 | Intersection types and related systems | Gilezan, Silvia ; Paolini, Luca | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2012 | Privacy for Linked Data | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Resource control calculi | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia ; Žunić, Dragiša ; Ivetić, Jelena ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Types for role-based access control of dynamic web data | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola, Dezani-Cianciaglini | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Resource control in sequent lambda calculus | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Computational interpretations of logic | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2009 | Computational interpretations of logics | Ghilezan, Silvia ; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2005 | Strong normalization of the dual classical sequent calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2004 | Classical Proofs, Typed Processes, and Intersection Types | Ghilezan, Silvia ; Lescanne, Pierre | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2003 | Extensions of the reducibility method | Ghilezan, Silvia ; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2003 | Two behavioural lambda models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2003 | Reducibility: A ubiquitous method in lambda calculus with intersection types | Ghilezan, Silvia ; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | Reducibility method for termination properties of typed lambda terms | Ghilezan, Silvia ; Kunčak, Viktor ; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2000 | Intersection types and topologies in lambda calculus | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |