Skip to Main content Skip to Navigation
Journal articles

Object calculi in linear logic

Abstract : Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object update and object-extension. We show that a complete semantic account of these features may be given in a fragment of higher-order linear logic.
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Monday, May 18, 2015 - 12:49:56 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:29 PM
Long-term archiving on: : Thursday, April 20, 2017 - 1:22:20 AM


Files produced by the author(s)



Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. Object calculi in linear logic. Journal of Logic and Computation, Oxford University Press (OUP), 2000, 10 (1), pp.75-104. ⟨10.1093/logcom/10.1.75⟩. ⟨hal-01152636⟩



Les métriques sont temporairement indisponibles