"Reasoning About Deductions in Linear Logic (Abstract of Invited Talk)."

Frank Pfenning (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics