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

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