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 metadatas

Cited literature [23 references]  Display  Hide  Download

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

File

2000-jlc-00.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

396

Files downloads

247