Linear logic in mathematical practice

• To: linear@cs.Stanford.EDU
• Subject: Linear logic in mathematical practice
• From: Vaughan Pratt <pratt@cs.Stanford.EDU>
• Date: Tue, 18 Jul 95 10:02:37 PDT
• Approved: types@dcs.gla.ac.uk

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

• Prev: SAS 95 Call for Participation
• Next: Post for Research Fellow
• Index(es):
  • Main
  • Thread