VDict - Definition of linear logic

Computing (FOLDOC) dictionary

linear logic

theory 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].

[Summary?]

(2003-05-02)

Related search result for "linear logic"

Words contain "linear logic" in its definition in Computing (FOLDOC) dictionary:
LO Lolli linear logic linear type CLP(R) modal logic temporal logic neutrosophic logic logic linear function more...