 In Montague 1970a and 1970c, the relation between syntactic categories and semantic types is given only by a list. Montague (1973) defines a systematic relation which amounts to the same relation as one would have in categorial grammar. However, Montague’s syntax is not a categorial syntax because the rules are not always category driven and because some of the rules are not concatenation rules.