"The Uniform Proof-Theoretic Foundation of Linear Logic Programming."

James Harland, David J. Pym (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics