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