[FOM] Lambek's category of syntactic types

[Fosco]

In the paper http://ling.umd.edu/~alxndrw/CGReadings/lambek-58.pdf the
author seems to define a category whose objects are "syntactic types".
One of the major point then is that this category is monoidal biclosed (see
§7).
(Even if the author never uses these words, it seems the most reasonable
translation).

I want to know more about this. Is there a literature I can consult?
Thanks a lot

Fosco Loregian

-- 

*======Au commencement tout était morne et informe.Le Géomètre dit: "Que la
lumière soit! "Et les structures là par espèces perçoitdu chaos émergent
attraits, contours et normes.(C. Ehresmann, 1965)*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160415/d52cf9c1/attachment-0001.html>