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