[FOM] Lambek's category of syntactic types

[Obrst, Leo J.]

You might be interested in categorial grammar in linguistics. See, e.g., https://en.wikipedia.org/wiki/Categorial_grammar.

Also see:
Moortgat, Michael.  1988.  Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus.  Foris Publications, Dordrecht, Holland.

Thanks,
Leo

From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of Fosco
Sent: Friday, April 15, 2016 11:05 AM
To: fom at cs.nyu.edu
Subject: [FOM] Lambek's category of syntactic types

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çoit
du chaos émergent attraits, contours et normes.
(C. Ehresmann, 1965)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160416/267d637d/attachment.html>