Word:

linear logic

(theory)linear logic - A logic invented by Girard in 1987 that can be used in proofs related to resource usage.

http://www.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].

Browse
Lineality
Lineally
Lineament
Linear
Linear A
linear accelerator
linear address space
linear algebra
linear argument
linear assignment
Linear B
Linear differential equation
linear equation
linear function
Linear Graph Notation
linear leaf
-- linear logic --
linear map
linear measure
Linear numbers
linear operator
linear perspective
Linear problem
linear programming
linear regression
linear space
linear transformation
linear type
linear unit
Linear-shaped
Linearensate
linearise
linearity
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy