Categorial grammar and type theory

La grammaire categorielle est revelatrice d'un large ensemble de relations entre la logique mathematique et la linguistique. L'A. insiste sur le fait que les travaux de nature descriptive aussi bien que les travaux de nature computationnelle ont contribue a etablir ces relations

[1]  Edward L. Keenan,et al.  Semantic Case Theory , 1989 .

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

[3]  Mark Steedman,et al.  A Lazy way to Chart-Parse with Categorial Grammars , 1987, ACL.

[4]  P. T. Geach.  A Program for Syntax , 1970 .

[5]  Dingeman Johannes Norbertus van Eijck,et al.  Aspects of quantification in natural language , 1985 .

[6]  T. Langholm.  Partiality, truth and persistence , 1988 .

[7]  Mark Steedman,et al.  Dependency and Coordination in the Grammar of Dutch and English , 1985 .

[8]  Ramarathnam Venkatesan,et al.  Categorial and Non-Categorial Languages , 1986, ACL.

[9]  Avron Arnon.  The semantics and proof theory of linear logic , 1988 .

[10]  Emmon Bach,et al.  Some Generalizations of Categorial Grammars , 1984 .

[11]  Ewan Klein,et al.  Categories, polymorphism and unification , 1987 .

[12]  Jack Hoeksema,et al.  The Semantics of Non-Boolean "And" , 1988, J. Semant..

[13]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[14]  M. Moortgat.  Mixed Composition and Discontinuous Dependencies , 1988 .

[15]  W. Buszkowski.  Generative Power of Categorial Grammars , 1988 .

[16]  Hans Uszkoreit.  Categorial Unification Grammars , 1986, COLING.

[17]  Wojciech Buszkowski.  Completeness Results for Lambek Syntactic Calculus , 1986, Math. Log. Q..

[18]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[19]  William C. Rounds,et al.  The logic of unification in grammar , 1990 .

[20]  Mark Steedman,et al.  On the order of words , 1982 .

[21]  Harold T. Hodes,et al.  The | lambda-Calculus. , 1988 .

[22]  Boris A. Trakhtenbrot.  On ‘Logical Relations’ in Program Semantics , 1987 .

[23]  J. Lambek,et al.  Categorial and Categorical Grammars , 1988 .

[24]  Anna Szabolcsi,et al.  Bound variables in syntax (Are there any , 1987 .

[25]  Michael Moortgat,et al.  FUNCTIONAL COMPOSITION AND COMPLEMENT INHERITANCE , 1985 .

[26]  Kosta Dosen,et al.  Sequent-systems and groupoid models. I , 1988, Stud Logica.