---
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: ~
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>