Bibliography

• To: types
• Subject: Bibliography
• From: John.K.Slaney@arp.anu.edu.au
• Date: Fri, 22 May 92 20:26:55 EDT
• Sender: meyer@theory.lcs.mit.edu

To: linear@cs.stanford.edu
Date: Thu, 21 May 92 13:51:09 +1000

I have been asked for the address(es) of anyone who might provide
an up-to-date bibliography of linear logic. This seems like the
right place to broadcast the request.

Please don't send bibliographies: just an address will do, so I
can pass it on. Please send direct to the address below (or above),
rather than to the mailing list.

John.Slaney@anu.edu.au

• Prev: Call for Papers: POPL'93
• Next: Interpretations of Classical Logic in Linear Logic
• Index(es):
  • Main
  • Thread