Scope Parallelism in Coordination in Dependent Type Semantics
暂无分享,去创建一个
[1] Reinhard Muskens,et al. Language, Lambdas, and Logic , 2003 .
[2] Philippe de Groote,et al. Towards Abstract Categorial Grammars , 2001, ACL.
[3] D. Fox. Reconstruction, Binding Theory, and the Interpretation of Chains , 1999, Linguistic Inquiry.
[4] Pla Paul Piwek,et al. Presupposition Projection as Proof Construction , 1999 .
[5] Per Martin-Löf,et al. Intuitionistic type theory , 1984, Studies in proof theory.
[6] Pauline Jacobson. Towards a Variable-Free Semantics , 1999 .
[7] Danny Fox,et al. Economy and Semantic Interpretation , 1999 .
[8] Yusuke Kubota,et al. Against ellipsis: arguments for the direct licensing of ‘noncanonical’ coordinations , 2015 .
[9] Paul Piwek,et al. Presuppositions in context : constructing bridges , 2000 .
[10] Richard T. Oehrle,et al. Term-labeled categorial type systems , 1994 .
[11] Daisuke Bekki. Representing Anaphora with Dependent Types , 2014, LACL.
[12] D. Fox. Antecedent-Contained Deletion and the Copy Theory of Movement , 2002, Linguistic Inquiry.
[13] P. Geach. A program for syntax , 1970, Synthese.