"4708","Categorial Grammar and Discourse Representation Theory","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.","http://cogprints.org/4708/","Muskens, Reinhard","UNSPECIFIED","       <span class=\"person_name\">Muskens, Reinhard</span>     (1994)  <a href=\"http://cogprints.org/4708/\"><em>Categorial Grammar and Discourse Representation Theory.</em></a>       [Conference Paper]           ","","1994"