?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Categorial+Grammar+and+Discourse+Representation+Theory&rft.creator=Muskens%2C+Reinhard&rft.subject=Computational+Linguistics&rft.subject=Semantics&rft.subject=Logic&rft.description=In+this+paper+it+is+shown+how+simple+texts+that+can+be+parsed+%0Ain+a+Lambek+Categorial+Grammar+can+also+automatically+be+provided+%0Awith+a+semantics+in+the+form+of+a+Discourse+Representation+Structure+%0Ain+the+sense+of+Kamp+%5B1981%5D.+The+assignment+of+meanings+to+texts+%0Auses+the+Curry-Howard-Van+Benthem+correspondence.&rft.date=1994&rft.type=Conference+Paper&rft.type=PeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fcogprints.org%2F4708%2F1%2Fcgdrt.pdf&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F4708%2F2%2Fcgdrt.ps&rft.identifier=++Muskens%2C+Reinhard++(1994)+Categorial+Grammar+and+Discourse+Representation+Theory.++%5BConference+Paper%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F4708%2F