Date: Tue, 28 Jan 92 12:06:21 EST To: linear@cs.stanford.edu The following note is from Jim Lambek: The relation algebra model proposed by Thomas Streicher for non-commutative linear logic has been studied in some detail by J. Lambek in "From categorial grammar to bilinear logic", which will appear in "Substructural logics", edited by K. Dozen and P. Schroeder-Heister, to be published by Oxford University Press.