LINEAR LOGIC


Meaning of LINEAR LOGIC in English

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

http://www.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].

[Summary?]

(2003-05-02)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.