Logic programming with focusing proofs in linear logic, J. of Logic and Computation, vol.2, issue.3, pp.297-347, 1992. ,
Contributions to the theory of logic programming, J. of the ACM, vol.29, issue.3, pp.841-862, 1982. ,
Investigations into logical deduction, The Collected Papers of Gerhard Gentzen, pp.68-131, 1935. ,
Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00075966
On formally undecidable propositions of the principia mathematica and related systems. I, 1965. ,
A theory of positive integers in formal logic. part I, American J. of Mathematics, vol.57, issue.1, pp.153-173, 1935. ,
Logic programming in the 1970s, Logic Programming and Nonmonotonic Reasoning, vol.8148, pp.11-22, 2013. ,
Introduction to Higher Order Categorical Logic, 1986. ,
Functorial semantics of algebraic theories, Proceedings National Academy of Sciences USA, vol.50, pp.869-872, 1963. ,
Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4747-4768, 2009. ,
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. ,
Bindings, mobility of bindings, and the-quantifier, the Proceedings of CSL 2004, vol.3210, p.24 ,
Overview of linear logic programming, Linear Logic in Computer Science, vol.316, pp.119-150, 2004. ,
Uniform proofs as a foundation for logic programming, A. of Pure and Applied Logic, vol.51, pp.125-157, 1991. ,
A proof theory for generic judgments, ACM Trans. on Computational Logic, vol.6, issue.4, pp.749-783, 2005. ,
Lectures on the Curry-Howard Isomorphism, Studies in Logic, vol.149, 2006. ,
Contributions to the theory of models I, II. Indagationes Mathematicae, vol.16, pp.572-588, 1954. ,