A Theory of Primitive Objects, Proceedings of Theoretical Aspect of Computer Software, pp.296-320, 1994. ,
Linear objects: Logical processes with built-in inheritance, New Generation Computing, vol.1, issue.3-4, pp.445-473, 1991. ,
DOI : 10.1007/BF03037173
Operations on records, Mathematical Structures in Computer Science, vol.1, issue.01, pp.3-48, 1991. ,
DOI : 10.1016/0022-0000(78)90014-4
Objects in Forum, Proceedins of the International Logic Programming Symposium, pp.115-129, 1995. ,
A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994. ,
Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation, pp.110327-365, 1994. ,
Type-Theoretic Foundations for Concurrent Object-Oriented Programming, Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '94), 1994. ,
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification, Journal of Logic and Computation, vol.1, issue.4, pp.497-536, 1991. ,
DOI : 10.1093/logcom/1.4.497
Self: the Power of Simplicity, Proceedings of ACM Symp. on Object-Oriented Programming Systems, Languages, and Applications, pp.227-241, 1987. ,