A typed foundation for directional logic programming

This publication has 23 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• Linear logic
  ACM SIGACT News, 1992
• Horn clause programs with polymorphic types: semantics and resolution
  Theoretical Computer Science, 1991
• From Petri nets to linear logic
  Mathematical Structures in Computer Science, 1991
• The structure of multiplicatives
  Archive for Mathematical Logic, 1989
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• Linear logic
  Theoretical Computer Science, 1987
• Automating control for logic programs
  The Journal of Logic Programming, 1985
• Closures and fairness in the semantics of programming logic
  Theoretical Computer Science, 1984
• Algorithm = logic + control
  Communications of the ACM, 1979