linear logic


A logic invented by Girard in 1987 that can be used in proofs related to resource usage.

[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991].


Last updated: 2003-05-02

Nearby terms:

Linear Graph Notationlinear logiclinear maplinear programming

Try this search on Wikipedia, Wiktionary, Google, OneLook.