Tom, you may care to look at my paper "Languages for monoidal categories" @Article(Jay89b, Author={Jay, C.B.}, Title={Languages for monoidal categories}, Journal=jpaa, Volume=59, Year=1989, Pages={61--85}) and its successors (see my ftp site below). Barry Jay ************************************************************************* | Associate Professor C.Barry Jay, | | Reader in Computing Sciences Phone: (61 2) 9514 1814 | | Head, Algorithms and Languages Group, Fax: (61 2) 9514 1807 | | University of Technology, Sydney, e-mail: cbj@socs.uts.edu.au | | P.O. Box 123 Broadway, 2007, www: linus.socs.uts.edu.au/~cbj | | Australia. ftp: ftp.socs.uts.edu.au/Users/cbj | *************************************************************************