Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of LINEAR LOGIC

 
Computing Dictionary
 
 Definition: 

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].

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY