Added to Favorites

Computing Dictionary

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)

Explore Dictionary.com

More from Thesaurus.com

Synonyms and Antonyms for linear logic

More from Reference.com

Search for articles containing linear logic

More from Dictionary.com Translator

Translate linear logic into French

Translate linear logic into German

Translate linear logic into Italian

Translate linear logic into another language

Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Related Searches

Nearby Words

Copyright © 2014 Dictionary.com, LLC. All rights reserved.