Thanks

• To: types
• Subject: Thanks
• From: Jon Barwise (CS, Math, and Phil) <barwise@phil.indiana.edu>
• Date: Mon, 10 Feb 92 13:14:20 EST
• Sender: meyer@theory.lcs.mit.edu

Date: Sun, 09 Feb 92 22:13:28 -0500
To: linear@cs.stanford.edu

I have gotten several thoughtful responses to my question, plus
pointers to papers -- especially Abramsky's, which I will try to ftp
upon my return to Bloomington on Wednesday.  Thanks all.

• Prev: Cut elimination for the Unified Logic
• Next: LPAR'92
• Index(es):
  • Main
  • Thread