Intensionality and boundedness

[1]  Daniel Gallin,et al.  Intensional and Higher-Order Modal Logic, With Applications to Montague Semantics , 1975 .

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

[3]  Jean-Yves Girard,et al.  Linear Logic and Lazy Computation , 1987, TAPSOFT, Vol.2.

[4]  Fred Popowich.  Tree Unification Grammar , 1989, ACL.

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

[6]  Johan van Benthem,et al.  Categorial grammar and type theory , 1990, J. Philos. Log..

[7]  T. M. V. Janssen,et al.  Foundations and applications of Montague grammar , 1986 .

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

[9]  M. Moortgat.  Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus , 1988 .

[10]  Jeroen Groenendijk,et al.  Type-shifting rules and the semantics of interrogatives , 1988 .

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

[12]  Y. Bar-Hillel.  A Quasi-Arithmetical Notation for Syntactic Description , 1953 .

[13]  R. A. Bull,et al.  Basic Modal Logic , 1984 .

[14]  Jeroen Groenendijk,et al.  On the semantics of questions and the pragmatics of answers , 1984 .

[15]  Esther König.  Parsing as Natural Deduction , 1989, ACL.

[16]  Mark Steedman,et al.  Combinatory grammars and parasitic gaps , 1987 .

[17]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

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

[19]  Ray Jackendoff,et al.  Semantic Interpretation in Generative Grammar , 1972 .

[20]  Hiroakira Ono,et al.  Structural Rules and a Logical Hierarchy , 1990 .

[21]  Frederick Paul Popowich,et al.  Reflexives and tree unification grammar , 1988 .

[22]  Glyn Morrill,et al.  Parsing and Derivational Equivalence , 1989, EACL.

[23]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

[24]  Glyn Morrill,et al.  Extraction and coordination in phrase structure grammar and categorial grammar , 1989 .

[25]  Johan van Benthem,et al.  The Lambek Calculus , 1988 .

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