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.
https://hal.inria.fr/hal-01152636
Contributor : Luigi Liquori <>
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
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⟩