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

Relation algebras



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.