This site has been permanently archived. This is a static copy provided by the University of Southampton.
--- 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. altloc: - http://let.uvt.nl/general/people/rmuskens/pubs/cgdrt.pdf - http://let.uvt.nl/general/people/rmuskens/pubs/cgdrt.ps chapter: ~ commentary: ~ commref: ~ confdates: ~ conference: COLING 94 confloc: Kyoto contact_email: ~ creators_id: [] creators_name: - family: Muskens given: Reinhard honourific: '' lineage: '' date: 1994 date_type: published datestamp: 2006-01-21 department: ~ dir: disk0/00/00/47/08 edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 4708 fileinfo: /style/images/fileicons/application_pdf.png;/4708/1/cgdrt.pdf|/style/images/fileicons/application_postscript.png;/4708/2/cgdrt.ps full_text_status: public importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: 'Lambek Categorial Grammar, Discourse Representation Theory, DRT, type theory' lastmod: 2011-03-11 08:56:20 latitude: ~ longitude: ~ metadata_visibility: show note: ~ number: ~ pagerange: 508-514 pubdom: FALSE publication: ~ publisher: ~ refereed: TRUE referencetext: ~ relation_type: [] relation_uri: [] reportno: ~ rev_number: 14 series: ~ source: ~ status_changed: 2007-09-12 17:01:57 subjects: - ling-comput - ling-sem - phil-logic succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ thesistype: ~ title: Categorial Grammar and Discourse Representation Theory type: confpaper userid: 6111 volume: ~