Browsing eNauka
Browsing by Author Gilezan, Silvia
Showing results 21 to 40 of 182
< previous
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia   ; Ivetić, Jelena | Article | Mp. category will be shown later |
| 2017 | Characterization of strong normalizability for a lambda-calculus with co-control | Espirito Santo, Jose; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control | Gilezan, Silvia K. ; J. Espirito Santo | 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 |
| 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 |
| 2004 | Classical Proofs, Typed Processes, and Intersection Types | Ghilezan, Silvia ; Lescanne, Pierre | Article | 22M22 |
| 2015 | Combining behavioural types with security analysis | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Article | 21M21 |
| 2014 | Computational approach to conjugation | Gilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2012 | Computational interpretation of classical logic with explicit structural rules | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Other | Mp. category will be shown later |
| 2010 | Computational interpretations of logic | Gilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2009 | Computational interpretations of logics | Ghilezan, Silvia ; Likavec, Silvia | Article | Mp. category will be shown later |
| 2001 | Confluence of untyped lambda calculus via simple types | Ghilezan, Silvia ; Kunčak, Viktor | Article | 21M21 |
| 1994 | Conjugation in SerboCroatian | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2023 | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan | Conference Paper | Mp. category will be shown later |
| 2024 | Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popovic, Miroslav ; Popovic, Marko; Kaštelan, Ivan | Book parts | Mp. category will be shown later |
| 1997 | Cut elimination in the simply typed lambda calculus | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2019 | Denotational and Operational Preciseness of Subtyping | Gilezan, Silvia K. | Conference Paper | Mp. category will be shown later |
| 2017 | Denotational and Operational Preciseness of Subtyping | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |