Dale Miller
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…
http://www.lix.polytechnique.fr/Labo/Dale.Miller/