linear logic

(theory)

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

http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html.

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

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

Centaurs
linear type
LO
logic
Lolli

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.