On quantales again

To: types
Subject: On quantales again
From: H F Chau <hfc@doc.imperial.ac.uk>
Date: Sun, 17 Nov 91 20:39:59 EST
Sender: meyer@theory.lcs.mit.edu

Date: Sun, 17 Nov 91 04:20:25 GMT
To: linear@cs.stanford.edu

    On Quantales and Non-Commutative Linear Logic
    ----------------------------------------------

In addition to the works mentioned in Gurr's message, the
following should also be added too:

Abramsky, S. and Vickers, S -
Quantales, Observational Logic and Process Semantics (1990)
Research Report, Department of Computing, Imperial College,
Univ. of London, London SW7 2BZ, U.K.

Vickers, S. -
Topology via Logic  (1989)  - Cambridge Tracts in Theoretical
Computer Science Series, No. 7, Cambridge Univ. Press.

H. F. Chau

---------------------------------------------------------------------
Hilfred (Hiu Fai) CHAU          email:   JANET       hfc@doc.ic.ac.uk
Department of Computing                  UUCP        ...ukc!icdoc!hfc
Imperial College of             telephone:            +44 71 589 5111
Science Technology & Medicine   (Room 526,Huxley Building)  ext. 4990
University of London            home tel. (before 9pm)+44 71 589 5111 
180  Queen's Gate                                         ext. 98-251 
London SW7 2BZ                  fax:                  +44 71 581 8024
UNITED KINGDOM   
---------------------------------------------------------------------