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