Try Our Apps


Gobble up these 8 terms for eating

linear logic

linear logic in Technology
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].
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Examples from the Web for linear logic
Historical Examples
  • linear logic Language, the pitfall of all the old researchers.

    The K-Factor Harry Harrison (AKA Henry Maxwell Dempsey)

Word of the Day

Word Value for linear

Scrabble Words With Friends