@misc{cogprints4708, title = {Categorial Grammar and Discourse Representation Theory}, author = {Reinhard Muskens}, year = {1994}, pages = {508--514}, keywords = {Lambek Categorial Grammar, Discourse Representation Theory, DRT, type theory}, url = {http://cogprints.org/4708/}, 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.} }