%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