linear-logic
168p. http://www-2.cs.cmu.edu/~fp/courses/linear/handouts/linear.pdf
33p.Linear Logic in Computer Science の第一章として書かれたものだそうです。 An Overview of Linear Logic Programming Introduction Goal-directed proof search Uniform proofs Logic programming in classical and intuitionistic logics Higher-orde…