Linear logic

This publication has 18 references indexed in Scilit:

• Operational aspects of linear lambda calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Horn programming in linear logic is NP-complete
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Logic Programming in a Fragment of Intuitionistic Linear Logic
  Information and Computation, 1994
• Computational interpretations of linear logic
  Theoretical Computer Science, 1993
• Is there a use for linear logic?
  Published by Association for Computing Machinery (ACM) ,1991
• The linear abstract machine
  Theoretical Computer Science, 1988
• Linear logic
  Theoretical Computer Science, 1987
• The undecidability of entailment and relevant implication
  The Journal of Symbolic Logic, 1984
• The complexity of the word problems for commutative semigroups and polynomial ideals
  Advances in Mathematics, 1982
• Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
  Annals of Mathematics, 1961