J. Andreoli, Logic programming with focusing proofs in linear logic, J. of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.

K. R. Apt and M. H. Van-emden, Contributions to the theory of logic programming, J. of the ACM, vol.29, issue.3, pp.841-862, 1982.

G. Gentzen, Investigations into logical deduction, The Collected Papers of Gerhard Gentzen, pp.68-131, 1935.

J. Girard, Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075966

K. Gödel, On formally undecidable propositions of the principia mathematica and related systems. I, 1965.

S. C. Kleene, A theory of positive integers in formal logic. part I, American J. of Mathematics, vol.57, issue.1, pp.153-173, 1935.

R. A. Kowalski, Logic programming in the 1970s, Logic Programming and Nonmonotonic Reasoning, vol.8148, pp.11-22, 2013.

J. Lambek and P. J. Scott, Introduction to Higher Order Categorical Logic, 1986.

F. W. Lawvere, Functorial semantics of algebraic theories, Proceedings National Academy of Sciences USA, vol.50, pp.869-872, 1963.

C. Liang and D. Miller, Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4747-4768, 2009.

D. Miller, A logic programming language with lambda-abstraction, function variables, and simple unification, J. of Logic and Computation, vol.1, issue.4, pp.497-536, 1991.

D. Miller, Bindings, mobility of bindings, and the-quantifier, the Proceedings of CSL 2004, vol.3210, p.24

D. Miller, Overview of linear logic programming, Linear Logic in Computer Science, vol.316, pp.119-150, 2004.

D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov, Uniform proofs as a foundation for logic programming, A. of Pure and Applied Logic, vol.51, pp.125-157, 1991.

D. Miller and A. Tiu, A proof theory for generic judgments, ACM Trans. on Computational Logic, vol.6, issue.4, pp.749-783, 2005.

M. Heine-sørensen and P. Urzyczyn, Lectures on the Curry-Howard Isomorphism, Studies in Logic, vol.149, 2006.

A. Tarski, Contributions to the theory of models I, II. Indagationes Mathematicae, vol.16, pp.572-588, 1954.