follow Dictionary.com

Write a Super Short Story to win an iPod!

linear logic

linear logic in Technology
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].
[Summary?]
(2003-05-02)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for linear

6
8
Scrabble Words With Friends