<theory> A logic invented by Girard in 1987 that can be used in proofs related to resource usage.

MORE.

[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991].

[Summary?]

(01 Aug 2003)