dictionary help| linear logic | computing dictionary |
<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)
Linear Graph Notation, linear IgA bullous disease in children < Prev | Next > linear map, linear models, linear programming
Bookmark with:      | word visualiser | Go and visit our forums  |
