Email this page to a friend

Linear logic

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

[Summary?]

< Previous Terms	Terms Containing linear logic	Next Terms >
linear address space linear argument linear assignment linear function Linear Graph Notation	linear logic linear type LO logic Lolli	linear map linear programming linear space linear transformation linear type