A kind of linear logic.
Jean-Yves Girard, Andre Scedrov, Philip J.Scott, Bounded linear logic: a modular approach to polynomial-time computability, Theoretical Computer Science Volume 97, Issue 1, 20 April 1992, Pages 1-66 (doi:10.1016/0304-3975(92)90386-T)
Ugo Dal Lago, Martin Hofmann, Bounded Linear Logic, Revisited, Logical Methods in Computer Science, Volume 6, Issue 4 (December 18, 2010) lmcs:1064 (arXiv:0904.2675)
Created on June 20, 2018 at 06:53:58. See the history of this page for a list of all contributions to it.