A Linear Logic Calculus of Objects

. This paper presents a linear logic programming language, called O \Gammaffi , that gives a complete and logically sound account of an object calculus with inheritance and override. This language can be seen as the logic programming counterpart of recent proposals of -calculi of objects [1, 6]. Our main interest in this study is in investigating the logical foundations of these calculi, the goal being to show that equally elegant accounts of objectoriented concepts like self, overriding, and inheritance by delegation can be given in logic. This study is also interesting, in perspective, as a basis for developing a typed foundation for logical object-oriented languages along the guidelines established by related research on type systems for functional and object-oriented programming. Keywords. Integration with OO programming, higher-order, language design. 1 Introduction Object-oriented languages can be classified as either class-based or delegation-based according to the underlying..