title: Categorial Grammar and Discourse Representation Theory creator: Muskens, Reinhard subject: Computational Linguistics subject: Semantics subject: Logic description: In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence. date: 1994 type: Conference Paper type: PeerReviewed format: application/pdf identifier: http://cogprints.org/4708/1/cgdrt.pdf format: application/postscript identifier: http://cogprints.org/4708/2/cgdrt.ps identifier: Muskens, Reinhard (1994) Categorial Grammar and Discourse Representation Theory. [Conference Paper] relation: http://cogprints.org/4708/