%A Reinhard Muskens
%T Categorial Grammar and Discourse Representation Theory
%X 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.
%D 1994
%K Lambek Categorial Grammar, Discourse Representation Theory, DRT,  type theory
%P 508-514
%L cogprints4708

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