Jean-Yves Girard Linear Logic. 1-102 1987 50 Theor. Comput. Sci. db/journals/tcs/tcs50.html#Girard87