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

SEMANTICAL INVESTIGATIONS OF LINEAR LOGIC




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


Sirs,
 A paper on
 SEMANTICAL INVESTIGATIONS OF LINEAR LOGIC
 by A.Ursini
 is available in hard copy from the author. I have no possibility
 presently of putting it on a e-mail box.
 It deals with the phase-like, Kripke  and algebraic semantics of
 commutative, cyclic,non commutative, classical or intuitionistic 
 linear logics.

 Aldo Ursini,
      Universita' di Siena
      Dipartimento di Matematica
      Via del Capitano 15
53100 Siena - Italy

   ph: OPERATOR : 577-263111 ;  DIRECT : 577-263754
  fax: 577-263730
email: ursini@unisi.it


------------------------------------------------------------------------

Patrick Lincoln (lincoln@csl.sri.c) adds:

A. Ursini's recent paper on
SEMANTICAL INVESTIGATIONS OF LINEAR LOGIC
is available in hardcopy from its author, 
but has now also been made available by ftp and www:

http://www.csl.sri.com/linear/ursini-paper.dvi.gz

or anonymous ftp from ftp.csl.sri.com, in file pub/linear/ursini-paper.dvi.gz

The paper may be difficult to print, but previews fine with xdvi.

pdl.