Formal Grammar

[1]  L. Matthewson,et al.  Quantification , 2019, The Routledge Handbook of North American Languages.

[2]  Idan Landau,et al.  Control in Generative Grammar: A Research Companion , 2019 .

[3]  Cynthia McClintock.  Plurality , 2018, Oxford Scholarship Online.

[4]  Leora Morgenstern,et al.  Planning, Executing, and Evaluating the Winograd Schema Challenge , 2016, AI Mag..

[5]  Andreas Maletti,et al.  The Power of Weighted Regularity-Preserving Multi Bottom-Up Tree Transducers , 2015, Int. J. Found. Comput. Sci..

[6]  Daisuke Bekki.  Representing Anaphora with Dependent Types , 2014, LACL.

[7]  Zhaohui Luo,et al.  Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? , 2014, LACL.

[8]  Edward P. Stabler,et al.  Two Models of Minimalist, Incremental Syntactic Analysis , 2013, Top. Cogn. Sci..

[9]  Ekaterina Lebedeva,et al.  Expression de la dynamique du discours à l'aide de continuations , 2012 .

[10]  Uwe Reyle,et al.  37. Discourse Representation Theory , 2011 .

[11]  Duane G. Watson,et al.  Experimental and theoretical advances in prosody: A review , 2010, Language and cognitive processes.

[12]  H. Kamp.  A Theory of Truth and Semantic Representation , 2008 .

[13]  Rick Nouwen,et al.  On Dependent Pronouns and Dynamic Semantics , 2007, J. Philos. Log..

[14]  Philippe de Groote,et al.  Towards a Montagovian Account of Dynamics , 2006 .

[15]  Stanley Peters,et al.  Quantifiers in language and logic , 2006 .

[16]  P. Blackburn,et al.  Book Reviews: The Proper Treatment of Events, by Michiel van Lambalgen and Fritz Hamm , 2005, CL.

[17]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[18]  Barbara H. Partee,et al.  Genitives, relational nouns, and argument-modifier ambiguity , 2002 .

[19]  Reinhard Muskens.  Order-independence and underspecification , 1995 .

[20]  Jan van Eijck,et al.  Incremental Dynamics , 2001, J. Log. Lang. Inf..

[21]  Pauline Jacobson.  Towards a Variable-Free Semantics , 1999 .

[22]  Kevin Knight,et al.  Generation that Exploits Corpus-Based Statistical Knowledge , 1998, ACL.

[23]  A. Kratzer.  Scope or Pseudoscope? Are there Wide-Scope Indefinites? , 1998 .

[24]  Aarne Ranta.  Type-Theoretical Grammar , 1995 .

[25]  P. Dekker.  Predicate logic with anaphora , 1994 .

[26]  Uwe Reyle,et al.  From discourse to logic , 1993 .

[27]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[28]  Jerry R. Hobbs,et al.  An Algorithm for Generating Quantifier Scopings , 1987, CL.

[29]  Jean-Yves Girard,et al.  The System F of Variable Types, Fifteen Years Later , 1986, Theor. Comput. Sci..

[30]  G. Sundholm.  Proof Theory and Meaning , 1986 .

[31]  John C. Reynolds,et al.  Polymorphism is not Set-Theoretic , 1984, Semantics of Data Types.

[32]  Elisabeth Selkirk,et al.  Phonology and syntax , 1984 .

[33]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[34]  P. Martin-Löf.  An Intuitionistic Theory of Types: Predicative Part , 1975 .

[35]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

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

[37]  Jack Kaminsky,et al.  Reference And Generality , 1962 .