Browsing by Subject
Operational semantics
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
 | 2016 | A descriptive type foundation for RDF Schema | Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro |
| 2014 | Minimal type inference for Linked Data consumers | Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro |
| 2012 | Tracing where and who provenance in Linked Data: A calculus | Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro |
| 2014 | A Verified Algebra for Read-Write Linked Data | Horne, Ross; Sassone, Vladimiro |
