@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.}
}

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