nLab
bounded linear logic
Contents
Contents
Idea
A kind of linear logic in which the exponential modality is indexed by, say, the natural numbers to indicate the availability of the number of copies of a premise.

References
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 )

Last revised on July 7, 2019 at 09:05:53.
See the history of this page for a list of all contributions to it.