(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

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