[Prev][Next][Index][Thread]

On quantales again



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   
---------------------------------------------------------------------