Continuations and the nature of quantification

Natural Language Semantics

Volumn 10, Issue 3, 2002, Pages 211-242

  Barker, Chris ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21644489030     PISSN: 0925854X     EISSN: 1572865X     Source Type: Journal    
DOI: 10.1023/A:1022183511876     Document Type: Article

References (32)

1. Barker, C.: 2001, 'Integrity: A Syntactic Constraint on Quantificational Scoping', in K. Megerdoomian and L. A. Bar-el (eds.), Proceedings of WCCFL 20, pp. 101-114. Cascadilla Press, Somerville, Mass.
2. Barwise, J. and R. Cooper: 1981, 'Generalized Quantifiers in Natural Language', Linguistics and Philosophy 4, 159-200.
3. Chierchia, G.: 1995, Dynamics of Meaning, the University of Chicago Press, Chicago.
4. Chierchia, G. and S. McConnell-Ginet: 1990, Introduction to Formal Semantics, MIT Press, Cambridge, Mass.
5. Crouch, R.: 1999, 'Ellipsis and Glue Languages', in S. Lappin and E. Benmamoun (eds.), Fragments: Studies in Ellipsis and Gapping, pp. 32-67. Oxford University Press, Oxford.
6. Dalrymple, M., J. Lamping, F. Pereira, and V. Saraswat: 1997, 'Quantifiers, Anaphora, and Intensionality', Journal of Logic, Language, and Information 6, 219-273.
7. Danvy, O. and C. A. Talcott: 1998, 'Introduction (to a special issue on continuations)', Higher-Order and Symbolic Computation 11(2), 115-116.
8. Dever, J.: 1999, 'Compositionality as Methodology', Linguistics and Philosophy 22, 311-326.
9. Egli, U. and K. Heusinger (eds.): 1995, Choice Functions in Natural Language Semantics, Arbeitspapier Nr. 71, Fachgruppe Sprachwissenschaft, Universität Konstanz.
10. de Groote, P.: 2001, 'Continuations, Type Raising, and Classical Logic', in R. van Rooy and M. Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium, pp. 97-101. Institute for Logic, Language and Computation, Universiteit van Amsterdam.
11. Heim, I. and A. Kratzer: 1998, Semantics in Generative Grammar, Blackwell, Oxford.
12. Hendriks, H.: 1988, 'Type Change in Semantics: The Scope of Quantification and Coordination', in E. Klein and J. van Benthem (eds.), Categories, Polymorphism and Unification, pp. 96-119. ITLI, Amsterdam.
13. Hendriks, H.: 1993, Studied Flexibility, ILLC Dissertation Series, Amsterdam.
14. Jacobson, P.: 1999, 'Towards a Variable Free Semantics', Linguistics and Philosophy 22, 117-184.
15. Janssen, T.: 1986, Foundations and Applications of Montague Grammar, Part I: Philosophy, Framework, Computer Science (CWI Tract 19), Center of Mathematics and Computer Science, Amsterdam.
16. Keenan, E.: 1987, 'Semantic Case Theory', in J. Groenendijk, M. Stokhof, and P. Veltmann (eds.), Proceedings of the 6th Amsterdam Colloquium, pp. 109-132. Institute for Logic, Language and Computation, Universiteit van Amsterdam.
17. 5 Report on the Algorithmic Language Scheme', Higher-Order and Symbolic Computation 11, 7-105.
18. Kratzer, A.: 1998, 'Scope or Pseudoscope? Are There Wide-Scope Indefinites?', in S. Rothstein (ed.), Events and Grammar, pp. 163-196. Kluwer, Dordrecht.
19. May, R.: 1985, Logical Form: Its Structure and Derivation, MIT Press, Cambridge, Mass.
20. Meyer, A. R. and M. Wand: 1985, 'Continuation Semantics in Typed Lambda-Calculi (summary)', in R. Parikh (ed.), Logics of Programs - Proceedings, pp. 219-224. Springer-Verlag, New York.
21. Montague, R.: 1973, 'The Proper Treatment of Quantification in English', in J. Hintikka, J. Moravcsik, and P. Suppes (eds.), Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics, pp. 221-242. Reidel, Dordrecht.
22. Also in R. Thomason (ed.), Formal Philosophy: Selected Papers of Richard Montague, pp. 247-270. Yale University Press, New Haven, Conn., 1974.
23. Partee, B. H.: 1987, 'Noun Phrase Interpretation and Type-Shifting Principles', in J. Groenendijk, D. de Jongh, and M. Stokhof (eds.), Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, pp. 115-143. Foris, Dordrecht.
24. Partee, B. H. and M. Rooth: 1983, 'Generalized Conjunction and Type Ambiguity', in R. Bäuerle, C. Schwarze, and A. von Stechow (eds.), Meaning, Use, and Interpretation of Language, pp. 361-383. Walter de Gruyter, Berlin.
25. Pelletier, F. J.: 1994, 'The Principle of Semantic Compositionality', Topoi 13, 11-24.
26. Plotkin, G. D.: 1975, 'Call-by-Name, Call-by-Value and the Lambda-Calculus', Theoretical Computer Science 1, 125-159.
27. Reinhart, T.: 1979, 'Syntactic Domains for Semantic Rules', in F. Guenthner and S. J. Schmidt (eds.), Formal Semantics and Pragmatics for Natural Language, pp. 107-130. Reidel, Dordrecht.
28. Reynolds, J. C.: 1993, 'The Discoveries of Continuations', Lisp and Symbolic Computation 6, 233-247.
29. Shan, C-C.: 2002, 'A Continuation Semantics of Interrogatives that Accounts for Baker's Ambiguity', in B. Jackson (ed.), Proceedings of SALT XII, Cornell University Press, Ithaca, N.Y.
30. Steedman, M.: 2000, The Syntactic Process, MIT Press, Cambridge, Mass.
31. Westerståhl, D.: 1998, 'On Mathematical Proofs of the Vacuity of Compositionality', Linguistics and Philosophy 21, 635-643.
32. Zadrozny, W.: 1994, 'From Compositional to Systematic Semantics', Linguistics and Philosophy 17, 329-342.