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

Re: Kripke Models for Linear Logic



Date: Tue, 7 Jan 92 15:09:01 EST
To: linear@cs.stanford.edu

Small addendum: we used (in the ftpable version) the tex symbol \Im for
Girard's upside down/horizontal mirror image ampersand for the co-tensor
product. And the ftp version of the paper is now available.

Gerard Allwein
J.Michael Dunn