Linear logic in mathematical practice

I am looking for papers addressing the role of linear logic in
mathematical practice.  Of particular interest would be extracts from
the mathematical literature illustrating either the actual use of
linear logic or the improvement possible with linear logic.
Assessments of the benefits of linear logic for working mathematicians
would also be of interest.

Vaughan Pratt