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 -