MORE
[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991].
[Summary?]
(21 Feb 1995)