linear logic
Computing Dictionary

linear logic definition

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

00:10

00:09

00:08

00:07

00:06

00:05

00:04

00:03

00:02

00:01

Linear logic is always a great word to know.
So is callithumpian. Does it mean:
a scrap or morsel of food left at a meal.
a children's mummer's parade, as on the Fourth of July, with prizes for the best costumes.
LEARN MORE UNUSUAL WORDS WITH WORD DYNAMO...
Partners:WordBloglinesCitysearchThe Daily BeastAsk AnswersAsk KidsLife123SendoriThesaurus
Dictionary.com, LLC. Copyright © 2012. All rights reserved.
About Privacy Policy Terms of Use API Careers Advertise with Us Contact Us Help
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT