linear logic

http://www.csl.sri.com/linear/sri-csl-ll.html

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

[Summary?]

[FOLDOC]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: like this « linear argument « linear function « linear logic » linear map » linear programming » linear space