Bounded linear logic: A modular approach to polynomial time computability (1992)

by Jean-Yves Girard, Andre Scedrov, Philip J Scott
Venue:Theoretical Computer Science