Object calculi in linear logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logic and Computation Year : 2000

Object calculi in linear logic


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.
Fichier principal
Vignette du fichier
2000-jlc-00.pdf (472.47 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01152636 , version 1 (18-05-2015)



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



Gmail Facebook X LinkedIn More