creators_name: Muskens, Reinhard type: confpaper datestamp: 2006-01-21 lastmod: 2011-03-11 08:56:20 metadata_visibility: show title: Categorial Grammar and Discourse Representation Theory ispublished: pub subjects: ling-comput subjects: ling-sem subjects: phil-logic full_text_status: public keywords: Lambek Categorial Grammar, Discourse Representation Theory, DRT, type theory abstract: 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 date_type: published pagerange: 508-514 refereed: TRUE citation: Muskens, Reinhard (1994) Categorial Grammar and Discourse Representation Theory. [Conference Paper] document_url: http://cogprints.org/4708/1/cgdrt.pdf document_url: http://cogprints.org/4708/2/cgdrt.ps