eNauka - pregled
Pregled prema Autor Ghilezan, Silvia
Prikaz rezultata 1 do 20 od 37
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2003 | A behavioural lambda model | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  | Naučni članak | 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. |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena  ; Ghilezan, Silvia ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | 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. |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia | Konferencijski rad | 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 |
| 2022 | Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing | Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, Simona | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Differential Privacy and Applications | Stefanović, Tamara ; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | Full intersection types and topologies in lambda calculus | Ghilezan, Silvia | Naučni članak | 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. |
| 2012 | Intersection Types and Related Systems. Preface | Ghilezan, Silvia ; Paolini, Luca | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2007 | Intersection types for intuitionistic lambda-Gentzen calculus | Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Intersection types for λGtz-calculus | Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2021 | Kripke-style semantics and completeness for full simply typed Lambda calculus | Kašterović, Simona ; Ghilezan, Silvia | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2015 | Overview of the publication “Selected Topics in Logic in Computer Science” | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |