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.

• Type: Journal
• Year: 2000
• Where: LOGCOM
• Authors: Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
• Keywords: Complete Semantic Account, LOGCOM 2000, Object-based Languages, Several Calculi