M. Abadi and L. Cardelli, A Theory of Objects. Monographs in Computer Science, 1996.

M. Abadi and L. Cardelli, A Theory of Primitive Objects: Untyped and First-Order Systems, Information and Computation, vol.125, issue.2, pp.78-102, 1996.
DOI : 10.1006/inco.1996.0024

M. Abadi, L. Cardelli, and R. Viswanathan, An interpretation of objects and object types, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.396-409, 1996.
DOI : 10.1145/237721.237809

J. M. Andreoli and R. Pareschi, Linear objects: Logical processes with built-in inheritance, New Generation Computing, vol.1, issue.3-4, pp.445-473, 1991.
DOI : 10.1007/BF03037173

M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli, A Linear Logic Calculus of Objects, Proceedings of the Joint International Conference and Symposium on Logic Programming, pp.67-81, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01156598

G. Delzanno and M. Martelli, Objects in Forum, Proceedings of the 1995 International Logic Programming Symposium, pp.115-129, 1995.

K. Fisher, F. Honsell, and J. C. Mitchell, A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994.

K. Fisher and J. C. Mitchell, On the relationship between classes, objects, and data abstraction, Theory and Practice of Object Systems, vol.4, issue.1, pp.3-32, 1998.
DOI : 10.1002/(SICI)1096-9942(1998)4:1<3::AID-TAPO2>3.0.CO;2-W

J. Y. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

J. A. Harland and D. J. Pym, The Uniform Proof-theoretical Foundation of Linear Logic Programming (Extended Abstract), Proceedings of the International Logic Programming Symposium, pp.304-318, 1991.

J. Hodas, Logic Programming in Intuitionistic Linear Logic, 1994.

J. Hodas and D. Miller, Representing Objects in a Logic Programming Language with Scoping Constructs, Proceedings of 7th International Conference on Logic Programming, pp.511-526

J. Hodas and D. Miller, Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation, pp.110327-365, 1994.

J. Hodas and J. Polakow, Forum as a Logic Programming Language: Preliminary Report, Electronic Notes in Theoretical Computer Science, vol.3, 1996.
DOI : 10.1016/S1571-0661(05)80418-9

N. Kobayashi and A. Yonezawa, Type-Theoretic Foundations for Concurrent Object-Oriented Programming, Proceedings of the Ninth ACM-SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, pp.31-45, 1994.

L. Liquori, An extended Theory of Primitive Objects: First order system, Proceedings of the 11th European Conference on Object-Oriented Programming, pp.146-169, 1997.
DOI : 10.1007/BFb0053378
URL : https://hal.archives-ouvertes.fr/hal-01154568

F. G. Mccabe, Logic and Objects. International Series in Computer Science, 1992.

D. Miller, A logical analysis of modules in logic programming, The Journal of Logic Programming, vol.6, issue.1-2, pp.79-108, 1989.
DOI : 10.1016/0743-1066(89)90031-9

D. Miller, 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

D. Miller, Forum: A Multiple-Conclusion Meta-Logic, Theoretical Computer Science, issue.1, pp.110201-232, 1996.

D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.125-157, 1991.
DOI : 10.1016/0168-0072(91)90068-W

G. Nadathur and D. Miller, An Overview of ?Prolog, Proceedings of the International Conference Symposium on Logic Programming, pp.810-827, 1988.

D. J. Pym and J. A. Harland, A Uniform Proof-theoretic Investigation of Linear Logic Programming, Journal of Logic and Computation, vol.4, issue.2, pp.175-207, 1994.
DOI : 10.1093/logcom/4.2.175