"Linear Logic as a Logic of Computations."

Max I. Kanovich (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics