TY  - GEN
ID  - cogprints4708
UR  - http://cogprints.org/4708/
A1  - Muskens, Reinhard
Y1  - 1994///
N2  - 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.
KW  - Lambek Categorial Grammar
KW  -  Discourse Representation Theory
KW  -  DRT
KW  -   type theory
TI  - Categorial Grammar and Discourse Representation Theory
SP  - 508
AV  - public
EP  - 514
ER  -

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>