Object calculi in linear logic - Archive ouverte HAL Access content directly
Journal Articles Journal of Logic and Computation Year : 2000

Object calculi in linear logic

(1) , (2) , (3, 4, 5) , (2)
1
2
3
4
5

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

Dates and versions

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

Identifiers

Cite

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⟩
129 View
142 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More