Browsing eNauka
Browsing by Author Dezani-Ciancaglini, Mariangiola
Showing results 1 to 10 of 10
| 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 |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | 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 |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Conference Paper | Mp. category will be shown later |
| 2014 | Preciseness of subtyping on intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2007 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka | Article | 23M23 |
| 2008 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka ; Varacca, Daniele | Article | 22M22 |
| 1997 | The “Relevance” of intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | Article | Mp. category will be shown later |
| 2003 | Two behavioural lambda models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Article | 22M22 |