论文信息 - Center for the Study of Language and Information - 字舞流文

Center for the Study of Language and Information

C. Pollard | Laura Kallmeyer | Paola Monachesi | Gerald Penn | Giorgio Satta

[1] Stefan Dyla,et al. Across-the board dependencies and case in Polish , 1984 .

[2] Deirdre Winston Wheeler,et al. ASPECTS OF A CATEGORIAL THEORY OF PHONOLOGY , 1981 .

[3] H. Barendregt. Combinatory logic , 1977, Journal of Symbolic Logic.

[4] Daniel Gallin,et al. Intensional and Higher-Order Modal Logic , 1975 .

[5] Richard Montague,et al. The Proper Treatment of Quantification in Ordinary English , 1973 .

[6] William A. Howard,et al. The formulae-as-types notion of construction , 1969 .

[7] Joachim Lambek,et al. On the Calculus of Syntactic Types , 1961 .

[8] Haskell B. Curry,et al. Some logical aspects of grammatical structure , 1961 .

[9] J. Lambek. The Mathematics of Sentence Structure , 1958 .

[10] Leon Henkin,et al. Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[11] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.