Browsing eNauka
Browsing by Author Ghilezan, Silvia
Showing results 1 to 20 of 37
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2003 | A behavioural lambda model | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  | Article | Mp. category will be shown later |
| 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 |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Article | 23M23 |
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena  ; Ghilezan, Silvia ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Article | 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 |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Article | 22M22 |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, 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 |
| 2022 | Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing | Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, Simona | Conference Paper | Mp. category will be shown later |
| 2021 | Differential Privacy and Applications | Stefanović, Tamara ; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Conference Paper | Mp. category will be shown later |
| 2001 | Full intersection types and topologies in lambda calculus | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 2005 | Intersection and union types in the λ̄μμ̃-calculus | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2012 | Intersection Types and Related Systems. Preface | Ghilezan, Silvia ; Paolini, Luca | Other | Mp. category will be shown later |
| 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 |
| 2021 | Kripke-style semantics and completeness for full simply typed Lambda calculus | Kašterović, Simona ; Ghilezan, Silvia | Article | 21M21 |
| 2015 | Overview of the publication “Selected Topics in Logic in Computer Science” | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |