Bounded linear logic: a modular approach to polynomial-time computability

Girard, Jean-Yves, Scedrov, Andre, Scott, Philip J.·1992·Theoretical Computer Science
DOI 10.1016/0304-3975(92)90386-t