Explaining crossover and superiority as left-to-right evaluation

Linguistics and Philosophy

Volumn 29, Issue 1, 2006, Pages 91-134

  Shan, Chung Chieh ^a   Barker, Chris ^b  

^a RUTGERS UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33744760904     PISSN: 01650157     EISSN: 15730549     Source Type: Journal    
DOI: 10.1007/s10988-005-6580-7     Document Type: Article

References (54)

1. Barker, C.: 2002, 'Continuations and the Nature of Quantification', Natural Language Semantics 10(3), 211-242.
2. Barker, C.: 2004, 'Continuations in Natural Language', in Hayo Thielecke (ed.), CW'04: Proceedings of the 4th ACM SIGPLAN Continuations Workshop, pp. 1-11. Tech. Rep. CSR-04-1, School of Computer Science, University of Birmingham.
3. Barker, C.: 2005, 'Remark on Jacobson 1999: Crossover as a Local Constraint', Linguistics and Philosophy 28(4), 447-472.
4. Barker, C. and C.-c. Shan: in press, 'Types as Graphs: Continuations in Type Logical Grammar', Journal of Logic, Language and Information.
5. Bresnan, J.: 1994, 'Linear Order vs. Syntactic Rank: Evidence from Weak Cross-over', in CLS 30-1: The Main Session. Chicago Linguistic Society.
6. Bresnan, J.: 1998, 'Morphology Competes with Syntax: Explaining Typological Variation in Weak Crossover Effects', in P. Barbosa, D. Fox, P. Hagstrom, M. McGinnis and D. Pesetsky (eds.), Is the Best Good Enough? Optimality and Competition in Syntax, pp. 59-92. MIT Press, Cambridge.
7. Büring, D.: 2001, 'A Situation Semantics for Binding out of DP, in R. Hastings, B. Jackson and Z. Zvolensky (eds.), SALT XI: Semantics and Linguistic Theory, pp. 56-75. Cornell University Press, Ithaca.
8. Büring, D.: 2004, 'Crossover Situations', Natural Language Semantics 12(1), 23-62.
9. Chierchia, G.: 1991, 'Functional WH and Weak crossover', in D. Bates, (ed.), Proceedings of the 10th West Coast Conference on Formal Linguistics, pp. 75-90. Center for the Study of Language and Information, Stanford, CA.
10. Chierchia, G.: 1993, 'Questions with Quantifiers', Natural Language Semantics 1(2), 181-234.
11. Chierchia, G.: 1995, The Dynamics of Meaning: Anaphora, Presupposition, and the Theory of Grammar. University of Chicago Press, Chicago.
12. Chomsky, N.: 1973, 'Conditions on Transformations', in S. Anderson and P. Kiparsky, (eds.), A Festschrift for Morris Halle, pp. 232-286. Holt, Rinehart and Winstron, New York.
13. Danvy, O. and A. Filinski: 1989, 'A Functional Abstraction of Typed Contexts'. Tech. Rep. 89/12, DIKU, University of Copenhagen, Denmark. http://www.daimi.au.dk/~danvy/Papers/fate.ps.gz.
14. Danvy, O.: 1990, 'Abstracting Control', in Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pp. 151-160. ACM Press, New York.
15. Danvy, O.: 1992, 'Representing Control: A Study of the CPS Transformation', Mathematical Structures in Computer Science 2(4), 361-391.
16. Dayal, V.: 1996, Locality in WE Quantification: Questions and Relative Clauses in Hindi. Dordrecht: Kluwer.
17. Dayal, V.: 2003, 'Multiple WH Questions', in M. Everaert and H. C. van Riemsdijk (eds.), The Blackwell Companion to Syntax, Blackwell, Oxford.
18. Dowty, D.: 1991, 'Variable-free' Syntax, Variable-Binding Syntax, the Natural Deduction Lambek Calculus, and the Crossover Constraint, in J. Mead, (ed.), Proceedings of the 11th West Coast Conference on Formal Linguistics, Center for the Study of Language and Information, Stanford, CA.
19. vCS Conversion: A Syntactic Theory of Control and State in Imperative Higher-order Programming Languages', Ph.D. thesis, Computer Science Department, Indiana University. Also as Tech. Rep. 226.
20. Felleisen, M.: 1988, 'The Theory and Practice of First-Class Prompts', in POPL '88: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 180-190. ACM Press, New York.
21. Griffin, T. G.: 1990, 'A Formulae-as-Types Notion of Control', in POPL '90: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 47-58. ACM Press, New York.
22. de Groote, P.: 2001, 'Type Raising, Continuations, and Classical Logic', in Robert van Rooy and Martin Stokhof, (eds.), Proceedings of the 13th Amsterdam Colloquium, pp. 97-101. Institute for Logic, Language and Computation, Universiteit van Amsterdam.
23. Heim, I. and A. Kratzer.: 1998, Semantics in Generative Grammar. Blackwell, Oxford.
24. Hendriks, H.: 1993, 'Studied Flexibility: Categories and Types in Syntax and Semantics', Ph.D. thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam.
25. Higginbotham, J.: 1980, 'Pronouns and Bound Variables', Linguistic Inquiry 11, 679-708.
26. Hindley, J. R. and J. P. Seldin: 1986, Introduction to Combinators and λ-Calculus. Cambridge University Press, Cambridge.
27. Hornstein, N.: 1995, Logical Form: From GB to Minimalism. Blackwell, Oxford.
28. Jacobson, P.: 1999, 'Towards a Variable-Free Semantics', Linguistics and Philosophy 22(2), 117-184.
29. Jäger, G.: 2001, 'Anaphora and Type Logical Grammar', Habilitationsschrift, Humboldt University Berlin. UIL-OTS Working Papers 01004-CL/TL, Utrecht Institute of Linguistics (OTS), Utrecht University.
30. Kuno, S. and J. J. Robinson: 1972, 'Multiple wh Questions', Linguistic Inquiry 3, 463-487.
31. Lasnik, H. and T. Stowell: 1991, 'Weakest Crossover', Linguistic Inquiry 22, 687-720.
32. May, R.: 1985, Logical Form: Its Structure and Derivation. MIT Press, Cambridge.
33. Meyer, A. R. and M. Wand: 1985, 'Continuation Semantics in Typed Lambda-Calculi (summary), in R. Parikh, (ed.), Logics of programs, pp. 219-224. Lecture Notes in Computer Science 193, Springer-Verlag, Berlin.
34. Moortgat, M.: 1997, 'Categorial Type Logics', in J. F. A. K. van Benthem and A. G. B. ter Meulen, (eds.), Handbook of Logic and Language, chap. 2. Elsevier Science, Amsterdam.
35. O'Neil, J.: 1993, 'A unified Analysis of Superiority, Crossover, and Scope', in H. Thráinsson, S. D. Epstein and S. Kuno, (eds.), Harvard working papers in linguistics, vol. III, pp. 128-136. Harvard University, Cambridge.
36. Papaspyrou, N. S.: 1998, 'Denotational Semantics of Evaluation Order in Expressions with Side Effects', in N. E. Mastorakis (ed.), Recent Advances in Information Science and Technology: 2nd part of the Proceedings of the 2nd IMACS International Conference on Circuits, Systems and Computers, pp. 87-94. World Scientific, Singapore.
37. Parigot, M.: 1992, 'λμ-Calculus: An Algorithmic Interpretation of Classical Natural Deduction', in A. Voronkov (ed.), Proceedings of LPAR '92: International Conference on Logic Programming and Automated Reasoning, pp. 190-201. Lecture Notes in Artificial Intelligence 624, Springer-Verlag, Berlin.
38. Parigot, M.: 1993, 'Classical Proofs as Programs', in G. Gottlob, A. Leitsch and D. Mundici, (eds.), Proceedings of KGC'93: Computational Logic and Proof Theory, 3rd Kurt Gödel Colloquium, pp. 263-276. Lecture Notes in Computer Science 713, Springer-Verlag, Berlin.
39. 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. Groningen-Amsterdam Studies in Semantics 8, Foris, Dordrecht.
40. Partee, B. H. and Mats 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. de Gruyter, Berlin.
41. Pesetsky, D.: 1987, 'Wh-In-situ: Movement and Unselective Binding', in E. J. Reuland and A. G. B. ter Meulen (eds.), The Representation of (In) Definiteness, MIT Press, Cambridge.
42. Phillips, C.: 2003, 'Linear Order and Constituency', Linguistic Inquiry 34(1), 37-90.
43. Plotkin, G. D.: 1975, 'Call-by-Name, Call-by-Value and the λ-Calculus', Theoretical Computer Science 1(2), 125-159.
44. Postal, P. M.: 1971, Cross-over Phenomena. Holt, Rinehart and Winston, New York.
45. Postal, P. M.: 1993, 'Remarks on Weak Crossover Effects', Linguistic Inquiry 24, 539-556.
46. Potts, C.: 2001, '(Only) Some Crossover Effects Repaired', Snippets 3, 13-14.
47. Reinhart, T.: 1983, Anaphora and Semantic Interpretation. Croom Helm, London.
48. Ruys, E. G.: 2000, 'Weak Crossover as a Scope Phenomenon', Linguistic Inquiry 31(3), 513-539.
49. Shan, Chung-chieh, 2002, 'A Continuation Semantics of Interrogatives that Accounts for Baker's Ambiguity', in B. Jackson (ed.), SALT XII: Semantics and Linguistic Theory, pp. 246-265. Cornell University Press, Ithaca.
50. Sitaram, D. and M. Flleisen: 1990, 'Control Delimiters and Their Hierarchies. Lisp and Symbolic Computation 3(1), 67-99.
51. Steedman, M.: 2000, 'The Syntactic Process', MIT Press, Cambridge.
52. Sternefeld, W.: 1997, 'The Semantics of Reconstruction and Connectivity', Arbeitspapiere des SFB 340 97, Universität Stuttgart and Tübingen.
53. Tanenhaus, M. K., S. M. Garnsey and J. Boland: 1990, 'Combinatory Lexical Information and Language Comprehension', in G. T. M. Altmann (ed.), Cognitive Models of Speech Processing: Psycholinguistic and Computational Perspectives, pp. 383-408. MIT Press, Cambridge.
54. Wadler, P. L.: 1992, 'Comprehending Monads', Mathematical Structures in Computer Science 2(4), 461-493.