Browsing eNauka
Browsing by Author Padovani, Luca
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2014 | Exception handling for copyless messaging | Jakšić, Svetlana  ; Padovani, Luca | Article | 22M22 |
| 2012 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | Conference Paper | Mp. category will be shown later |
| 2014 | Session Types Isomorphisms | Dezani-Cinaciaglini, Mariangiola; Padovani, Luca; Pantović, Jovanka  | Conference Paper | Mp. category will be shown later |
| 2016 | Types for Access and Memory Control | Jakšić, Svetlana | Doctoral theses | 70M70 |