Jean-Yves Girard Andre Scedrov Philip J. Scott Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. 1-66 1992 97 Theor. Comput. Sci. 1 db/journals/tcs/tcs97.html#GirardSS92 http://dx.doi.org/10.1016/0304-3975(92)90386-T