Linear logic

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


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