An Overview of Linear Logic Programming

linear-logic Dale Miller

33p.Linear Logic in Computer Science の第一章として書かれたものだそうです。

  1. An Overview of Linear Logic Programming
    1. Introduction
    2. Goal-directed proof search
      1. Uniform proofs
      2. Logic programming in classical and intuitionistic logics
      3. Higher-order quantification and proof search
      4. Uniform proofs with multiple conclusion sequents
    3. Linear logic and focused proofs
    4. Linear logic programming languages
      1. The Forum presentation of linear logic
      2. Lolli
      3. Uncurrying program clauses
      4. Other subsets of Forum
      5. Other language designs
    5. Applications of linear logic programming
    6. Examples of reasoning about a linear logic program
    7. Effective implementations of proof search
    8. Research in sequent calculus proof search
      1. Polarity and proof search.
      2. Non-commutativity.
      3. Reasoning about specifications.