referencies inquiry

• To: linear@cs.stanford.edu
• Subject: referencies inquiry
• From: radek@ms.uky.edu
• Date: Tue, 16 Feb 93 01:38:49 EST
• Approved: types@dcs.gla.ac.uk

Would anybody send me referencies to any work dealing with possible
use of linear logic in database theory?

I will wait for more responces for a few days and then I would post
all the responces received so far on the mailing list. If some of the
respondents disagree with having their mails to be posted, please let
me know.

Thank you very much.

Radek Vingralek

------------------------------------------------------------------------------
Radek VINGRALEK    radek@ms.uky.edu      radek@UKMA.bitnet
                   radek@cs.uky.edu

Office: University of Kentucky      Home: 700 Woodland Ave., Apt. F 109
        Dept. of Comp. Sci.               Lexington, KY 40508-3423
        915 Patterson Office Tower        USA
        Lexington, KY 40506-0027
        USA
        tel: (606) 257-6750
        fax: (606) 258-1971 
-----------------------------------------------------------------------------



 

• Prev: types for Scott numerals (or re: Non Strictly Positive Datatypes)
• Next: Completeness results for linear logic on petri nets
• Index(es):
  • Main
  • Thread