1: \providecommand{\leanTAP}{\mbox{{\sf lean}\smash{$T^{\!\!\textstyle A}\!\!P$}}}
2: \begin{thebibliography}{36}
3: \expandafter\ifx\csname natexlab\endcsname\relax\def\natexlab#1{#1}\fi
4: \expandafter\ifx\csname bibnamefont\endcsname\relax
5: \def\bibnamefont#1{#1}\fi
6: \expandafter\ifx\csname bibfnamefont\endcsname\relax
7: \def\bibfnamefont#1{#1}\fi
8: \expandafter\ifx\csname citenamefont\endcsname\relax
9: \def\citenamefont#1{#1}\fi
10: \expandafter\ifx\csname url\endcsname\relax
11: \def\url#1{\texttt{#1}}\fi
12: \expandafter\ifx\csname urlprefix\endcsname\relax\def\urlprefix{URL }\fi
13: \providecommand{\bibinfo}[2]{#2}
14: \providecommand{\eprint}[2][]{\url{#2}}
15:
16: \bibitem[{\citenamefont{Barker}(2000)}]{barker-higher-order}
17: \bibinfo{author}{\bibnamefont{Barker}, \bibfnamefont{Chris}}.
18: \bibinfo{year}{2000}.
19: \newblock \bibinfo{title}{Notes on higher-order continuations}.
20: \newblock \bibinfo{howpublished}{Manuscript, University of California, San
21: Diego}.
22:
23: \bibitem[{\citenamefont{Barker}(2002)}]{barker-continuations}
24: ---------. \bibinfo{year}{2002}.
25: \newblock \bibinfo{title}{Continuations and the nature of quantification}.
26: \newblock \emph{\bibinfo{journal}{Natural Language Semantics}}
27: \bibinfo{volume}{10}(\bibinfo{number}{3}):\penalty0
28: \bibinfo{pages}{211--242}.
29:
30: \bibitem[{\citenamefont{Barwise and Cooper}(1981)}]{barwise-generalized}
31: \bibinfo{author}{\bibnamefont{Barwise}, \bibfnamefont{Jon}}, \bibnamefont{and}
32: \bibinfo{author}{\bibfnamefont{Robin} \bibnamefont{Cooper}}.
33: \bibinfo{year}{1981}.
34: \newblock \bibinfo{title}{Generalized quantifiers and natural language}.
35: \newblock \emph{\bibinfo{journal}{Linguistics and Philosophy}}
36: \bibinfo{volume}{4}:\penalty0 \bibinfo{pages}{159--219}.
37:
38: \bibitem[{\citenamefont{Bernardi}(2002)}]{bernardi-reasoning}
39: \bibinfo{author}{\bibnamefont{Bernardi}, \bibfnamefont{Raffaella}}.
40: \bibinfo{year}{2002}.
41: \newblock \bibinfo{title}{Reasoning with polarity in categorial type logic}.
42: \newblock Ph.D. thesis, \bibinfo{school}{Utrecht Institute of Linguistics
43: (OTS), Utrecht University}.
44:
45: \bibitem[{\citenamefont{Bernardi and Moot}(2001)}]{bernardi-generalized}
46: \bibinfo{author}{\bibnamefont{Bernardi}, \bibfnamefont{Raffaella}},
47: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Richard}
48: \bibnamefont{Moot}}. \bibinfo{year}{2001}.
49: \newblock \bibinfo{title}{Generalized quantifiers in declarative and
50: interrogative sentences}.
51: \newblock \emph{\bibinfo{journal}{Journal of Language and Computation}}
52: \bibinfo{volume}{1}(\bibinfo{number}{3}):\penalty0 \bibinfo{pages}{1--19}.
53:
54: \bibitem[{\citenamefont{Bernardi and Nilsen}(2001)}]{bernardi-polarity}
55: \bibinfo{author}{\bibnamefont{Bernardi}, \bibfnamefont{Raffaella}},
56: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{{\O}ystein}
57: \bibnamefont{Nilsen}}. \bibinfo{year}{2001}.
58: \newblock \bibinfo{title}{Polarity items in type logical grammar: Connection
59: with {DMG}}.
60: \newblock \bibinfo{howpublished}{Slides for talk at Learning Logic and Grammar
61: workshop, Amsterdam}.
62:
63: \bibitem[{\citenamefont{Carpenter}(1997)}]{carpenter-type-logical}
64: \bibinfo{author}{\bibnamefont{Carpenter}, \bibfnamefont{Bob}}.
65: \bibinfo{year}{1997}.
66: \newblock \emph{\bibinfo{title}{Type-logical semantics}}.
67: \newblock \bibinfo{address}{Cambridge}:\@ \bibinfo{publisher}{{MIT} Press}.
68:
69: \bibitem[{\citenamefont{Danvy and Filinski}(1989)}]{danvy-functional}
70: \bibinfo{author}{\bibnamefont{Danvy}, \bibfnamefont{Olivier}},
71: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Andrzej}
72: \bibnamefont{Filinski}}. \bibinfo{year}{1989}.
73: \newblock \bibinfo{title}{A functional abstraction of typed contexts}.
74: \newblock \bibinfo{type}{Tech. Rep.} \bibinfo{number}{89/12},
75: \bibinfo{institution}{{DIKU}, University of Co\-pen\-ha\-gen, Den\-mark}.
76: \newblock
77: \bibinfo{note}{\url{http://www.daimi.au.dk/~danvy/Papers/fatc.ps.gz}}.
78:
79: \bibitem[{\citenamefont{Danvy and Filinski}(1990)}]{danvy-abstracting}
80: ---------. \bibinfo{year}{1990}.
81: \newblock \bibinfo{title}{Abstracting control}.
82: \newblock In \emph{\bibinfo{booktitle}{Proceedings of the 1990 {ACM} conference
83: on {L}isp and functional programming}}, \bibinfo{pages}{151--160}.
84: \bibinfo{address}{{N}ew {Y}ork}:\@ \bibinfo{publisher}{{ACM} {P}ress}.
85:
86: \bibitem[{\citenamefont{Danvy and Hatcliff}(1992)}]{danvy-cps}
87: \bibinfo{author}{\bibnamefont{Danvy}, \bibfnamefont{Olivier}},
88: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{John}
89: \bibnamefont{Hatcliff}}. \bibinfo{year}{1992}.
90: \newblock \bibinfo{title}{{CPS}-\hspace{0pt}transformation after strictness
91: analysis}.
92: \newblock \emph{\bibinfo{journal}{{ACM} Letters on Programming Languages and
93: Systems}} \bibinfo{volume}{1}(\bibinfo{number}{3}):\penalty0
94: \bibinfo{pages}{195--212}.
95:
96: \bibitem[{\citenamefont{Danvy and Hatcliff}(1994)}]{danvy-transformation}
97: ---------. \bibinfo{year}{1994}.
98: \newblock \bibinfo{title}{On the transformation between direct and continuation
99: semantics}.
100: \newblock In \emph{\bibinfo{booktitle}{Mathematical foundations of programming
101: semantics: 9th international conference (1993)}}, ed.
102: \bibinfo{editor}{Stephen~D. Brookes}, \bibinfo{editor}{Michael~G. Main},
103: \bibinfo{editor}{Austin Melton}, \bibinfo{editor}{Michael~W. Mislove}, and
104: \bibinfo{editor}{David~A. Schmidt}, \bibinfo{pages}{627--648}.
105: \bibinfo{series}{{L}ecture {N}otes in {C}omputer {S}cience}
106: \bibinfo{number}{802}, \bibinfo{address}{Berlin}:\@
107: \bibinfo{publisher}{Springer-Verlag}.
108:
109: \bibitem[{\citenamefont{van Eijck}(1998)}]{van-eijck-programming}
110: \bibinfo{author}{\bibnamefont{van Eijck}, \bibfnamefont{Jan}}.
111: \bibinfo{year}{1998}.
112: \newblock \bibinfo{title}{Programming with dynamic predicate logic}.
113: \newblock \bibinfo{type}{Report} \bibinfo{number}{INS-R9810},
114: \bibinfo{institution}{Centrum voor Wiskunde en Informatica, Amsterdam}.
115: \newblock \bibinfo{note}{Also as Research Report CT-1998-06, Institute for
116: Logic, Language and Computation, Universiteit van Amsterdam}.
117:
118: \bibitem[{\citenamefont{van Eijck and Francez}(1995)}]{van-eijck-verb-phrase}
119: \bibinfo{author}{\bibnamefont{van Eijck}, \bibfnamefont{Jan}},
120: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Nissim}
121: \bibnamefont{Francez}}. \bibinfo{year}{1995}.
122: \newblock \bibinfo{title}{Verb-phrase ellipsis in dynamic semantics}.
123: \newblock In \emph{\bibinfo{booktitle}{Applied logic: How, what, and why:
124: Logical approaches to natural language}}, ed. \bibinfo{editor}{L{\'a}szl{\'o}
125: P{\'o}los} and \bibinfo{editor}{Michael Masuch}.
126: \bibinfo{address}{Dordrecht}:\@ \bibinfo{publisher}{Kluwer}.
127:
128: \bibitem[{\citenamefont{Felleisen}(1988)}]{felleisen-theory}
129: \bibinfo{author}{\bibnamefont{Felleisen}, \bibfnamefont{Matthias}}.
130: \bibinfo{year}{1988}.
131: \newblock \bibinfo{title}{The theory and practice of first-class prompts}.
132: \newblock In \emph{\bibinfo{booktitle}{{POPL} '88: Conference record of the
133: annual {ACM} symposium on principles of programming languages}},
134: \bibinfo{pages}{180--190}. \bibinfo{address}{{N}ew {Y}ork}:\@
135: \bibinfo{publisher}{{ACM} {P}ress}.
136:
137: \bibitem[{\citenamefont{Felleisen and Hieb}(1992)}]{felleisen-revised}
138: \bibinfo{author}{\bibnamefont{Felleisen}, \bibfnamefont{Matthias}},
139: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Robert} \bibnamefont{Hieb}}.
140: \bibinfo{year}{1992}.
141: \newblock \bibinfo{title}{The revised report on the syntactic theories of
142: sequential control and state}.
143: \newblock \emph{\bibinfo{journal}{Theoretical Computer Science}}
144: \bibinfo{volume}{103}(\bibinfo{number}{2}):\penalty0
145: \bibinfo{pages}{235--271}.
146:
147: \bibitem[{\citenamefont{Fry}(1999)}]{fry-proof}
148: \bibinfo{author}{\bibnamefont{Fry}, \bibfnamefont{John}}. \bibinfo{year}{1999}.
149: \newblock \bibinfo{title}{Proof nets and negative polarity licensing}.
150: \newblock In \emph{\bibinfo{booktitle}{Semantics and syntax in lexical
151: functional grammar: The resource logic approach}}, ed. \bibinfo{editor}{Mary
152: Dalrymple}, chap.~\bibinfo{chapter}{3}, \bibinfo{pages}{91--116}.
153: \bibinfo{address}{Cambridge}:\@ \bibinfo{publisher}{{MIT} Press}.
154:
155: \bibitem[{\citenamefont{Gardent}(1991)}]{gardent-dynamic}
156: \bibinfo{author}{\bibnamefont{Gardent}, \bibfnamefont{Claire}}.
157: \bibinfo{year}{1991}.
158: \newblock \bibinfo{title}{Dynamic semantics and {VP}-ellipsis}.
159: \newblock In \emph{\bibinfo{booktitle}{Logics in {AI}: {E}uropean workshop
160: {JELIA} '90}}, ed. \bibinfo{editor}{Jan van Eijck},
161: \bibinfo{pages}{251--266}. \bibinfo{series}{{L}ecture {N}otes in {A}rtificial
162: {I}ntelligence} \bibinfo{number}{478}, \bibinfo{address}{Berlin}:\@
163: \bibinfo{publisher}{Springer-Verlag}.
164:
165: \bibitem[{\citenamefont{Groenendijk and Stokhof}(1991)}]{groenendijk-dynamic}
166: \bibinfo{author}{\bibnamefont{Groenendijk}, \bibfnamefont{Jeroen}},
167: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Martin}
168: \bibnamefont{Stokhof}}. \bibinfo{year}{1991}.
169: \newblock \bibinfo{title}{Dynamic predicate logic}.
170: \newblock \emph{\bibinfo{journal}{Linguistics and Philosophy}}
171: \bibinfo{volume}{14}(\bibinfo{number}{1}):\penalty0 \bibinfo{pages}{39--100}.
172:
173: \bibitem[{\citenamefont{de~Groote}(2001)}]{de-groote-type}
174: \bibinfo{author}{\bibnamefont{de~Groote}, \bibfnamefont{Philippe}}.
175: \bibinfo{year}{2001}.
176: \newblock \bibinfo{title}{Type raising, continuations, and classical logic}.
177: \newblock In \emph{\bibinfo{booktitle}{Proceedings of the 13th {A}msterdam
178: {C}olloquium}}, ed. \bibinfo{editor}{Robert van Rooy} and
179: \bibinfo{editor}{Martin Stokhof}, \bibinfo{pages}{97--101}.
180: \bibinfo{publisher}{Institute for Logic, Language and Computation,
181: Universiteit van Amsterdam}.
182:
183: \bibitem[{\citenamefont{Hardt}(1999)}]{hardt-dynamic}
184: \bibinfo{author}{\bibnamefont{Hardt}, \bibfnamefont{Daniel}}.
185: \bibinfo{year}{1999}.
186: \newblock \bibinfo{title}{Dynamic interpretation of verb phrase ellipsis}.
187: \newblock \emph{\bibinfo{journal}{Linguistics and Philosophy}}
188: \bibinfo{volume}{22}(\bibinfo{number}{2}):\penalty0
189: \bibinfo{pages}{185--219}.
190:
191: \bibitem[{\citenamefont{Hendriks}(1993)}]{hendriks-studied}
192: \bibinfo{author}{\bibnamefont{Hendriks}, \bibfnamefont{Herman}}.
193: \bibinfo{year}{1993}.
194: \newblock \bibinfo{title}{Studied flexibility: Categories and types in syntax
195: and semantics}.
196: \newblock Ph.D. thesis, \bibinfo{school}{Institute for Logic, Language and
197: Computation, Universiteit van Amsterdam}.
198:
199: \bibitem[{\citenamefont{Hobbs and Rosenschein}(1978)}]{hobbs-making}
200: \bibinfo{author}{\bibnamefont{Hobbs}, \bibfnamefont{Jerry~R.}},
201: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Stanley~J.}
202: \bibnamefont{Rosenschein}}. \bibinfo{year}{1978}.
203: \newblock \bibinfo{title}{Making computational sense of {M}ontague's
204: intensional logic}.
205: \newblock \emph{\bibinfo{journal}{Artificial Intelligence}}
206: \bibinfo{volume}{9}:\penalty0 \bibinfo{pages}{287--306}.
207:
208: \bibitem[{\citenamefont{Hobbs and Shieber}(1987)}]{hobbs-algorithm}
209: \bibinfo{author}{\bibnamefont{Hobbs}, \bibfnamefont{Jerry~R.}},
210: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Stuart~M.}
211: \bibnamefont{Shieber}}. \bibinfo{year}{1987}.
212: \newblock \bibinfo{title}{An algorithm for generating quantifier scopings}.
213: \newblock \emph{\bibinfo{journal}{Computational Linguistics}}
214: \bibinfo{volume}{13}(\bibinfo{number}{1--2}):\penalty0
215: \bibinfo{pages}{47--63}.
216:
217: \bibitem[{\citenamefont{Hung and Zucker}(1991)}]{hung-semantics}
218: \bibinfo{author}{\bibnamefont{Hung}, \bibfnamefont{Hing-Kai}},
219: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Jeffery~I.}
220: \bibnamefont{Zucker}}. \bibinfo{year}{1991}.
221: \newblock \bibinfo{title}{Semantics of pointers, referencing and dereferencing
222: with intensional logic}.
223: \newblock In \emph{\bibinfo{booktitle}{{LICS} '91: Proceedings of the 6th
224: symposium on logic in computer science}}, \bibinfo{pages}{127--136}.
225: \bibinfo{address}{Washington, {DC}}:\@ \bibinfo{publisher}{{IEEE} Computer
226: Society Press}.
227:
228: \bibitem[{\citenamefont{Kelsey et~al.}(1998)\citenamefont{Kelsey, Clinger, Rees
229: et~al.}}]{kelsey-r5rs-short}
230: \bibinfo{author}{\bibnamefont{Kelsey}, \bibfnamefont{Richard}},
231: \bibinfo{author}{\bibfnamefont{William} \bibnamefont{Clinger}},
232: \bibinfo{author}{\bibfnamefont{Jonathan} \bibnamefont{Rees}},
233: \bibnamefont{et~al.} \bibinfo{year}{1998}.
234: \newblock \bibinfo{title}{Revised${}^5$ report on the algorithmic language
235: {S}cheme}.
236: \newblock \emph{\bibinfo{journal}{Higher-Order and Symbolic Computation}}
237: \bibinfo{volume}{11}(\bibinfo{number}{1}):\penalty0 \bibinfo{pages}{7--105}.
238: \newblock \bibinfo{note}{Also as {\it ACM SIG{\-}PLAN Notices\/} 33(9):26--76}.
239:
240: \bibitem[{\citenamefont{Krifka}(1995)}]{krifka-semantics}
241: \bibinfo{author}{\bibnamefont{Krifka}, \bibfnamefont{Manfred}}.
242: \bibinfo{year}{1995}.
243: \newblock \bibinfo{title}{The semantics and pragmatics of polarity items}.
244: \newblock \emph{\bibinfo{journal}{Linguistic Analysis}}
245: \bibinfo{volume}{25}:\penalty0 \bibinfo{pages}{209--257}.
246:
247: \bibitem[{\citenamefont{Ladusaw}(1979)}]{ladusaw-polarity}
248: \bibinfo{author}{\bibnamefont{Ladusaw}, \bibfnamefont{William~A.}}
249: \bibinfo{year}{1979}.
250: \newblock \bibinfo{title}{Polarity sensitivity as inherent scope relations}.
251: \newblock Ph.D. thesis, \bibinfo{school}{Department of Linguistics, University
252: of Massachusetts}.
253: \newblock \bibinfo{note}{Reprinted by New York: Garland, 1980}.
254:
255: \bibitem[{\citenamefont{Lewin}(1990)}]{lewin-quantifier}
256: \bibinfo{author}{\bibnamefont{Lewin}, \bibfnamefont{Ian}}.
257: \bibinfo{year}{1990}.
258: \newblock \bibinfo{title}{A quantifier scoping algorithm without a free
259: variable constraint}.
260: \newblock In \emph{\bibinfo{booktitle}{{COLING} '90: Proceedings of the 13th
261: international conference on computational linguistics}},
262: vol.~\bibinfo{volume}{3}, \bibinfo{pages}{190--194}.
263:
264: \bibitem[{\citenamefont{May}(1985)}]{may-logical}
265: \bibinfo{author}{\bibnamefont{May}, \bibfnamefont{Robert}}.
266: \bibinfo{year}{1985}.
267: \newblock \emph{\bibinfo{title}{Logical form: Its structure and derivation}}.
268: \newblock \bibinfo{address}{Cambridge}:\@ \bibinfo{publisher}{{MIT} Press}.
269:
270: \bibitem[{\citenamefont{Montague}(1974)}]{montague-proper}
271: \bibinfo{author}{\bibnamefont{Montague}, \bibfnamefont{Richard}}.
272: \bibinfo{year}{1974}.
273: \newblock \bibinfo{title}{The proper treatment of quantification in ordinary
274: {E}nglish}.
275: \newblock In \emph{\bibinfo{booktitle}{Formal philosophy: Selected papers of
276: {R}ichard {M}ontague}}, ed. \bibinfo{editor}{Richmond Thomason},
277: \bibinfo{pages}{247--270}. \bibinfo{address}{New Haven}:\@
278: \bibinfo{publisher}{Yale University Press}.
279:
280: \bibitem[{\citenamefont{Moran}(1988)}]{moran-quantifier}
281: \bibinfo{author}{\bibnamefont{Moran}, \bibfnamefont{Douglas~B.}}
282: \bibinfo{year}{1988}.
283: \newblock \bibinfo{title}{Quantifier scoping in the {SRI} core language
284: engine}.
285: \newblock In \emph{\bibinfo{booktitle}{Proceedings of the 26th annual meeting
286: of the {A}ssociation for {C}omputational {L}inguistics}},
287: \bibinfo{pages}{33--40}. \bibinfo{address}{Somerset, NJ}:\@
288: \bibinfo{publisher}{Association for Computational Linguistics}.
289:
290: \bibitem[{\citenamefont{Nielsen}(2001)}]{nielsen-selective}
291: \bibinfo{author}{\bibnamefont{Nielsen}, \bibfnamefont{Lasse~R.}}
292: \bibinfo{year}{2001}.
293: \newblock \bibinfo{title}{A selective {CPS} transformation}.
294: \newblock In \emph{\bibinfo{booktitle}{Proceedings of {MFPS} 2001: 17th
295: conference on the mathematical foundations of programming semantics}}, ed.
296: \bibinfo{editor}{Stephen Brooks} and \bibinfo{editor}{Michael Mislove}.
297: \bibinfo{series}{Electronic Notes in Theoretical Computer Science}
298: ~\bibinfo{number}{45}, \bibinfo{address}{Amsterdam}:\@
299: \bibinfo{publisher}{Elsevier Science}.
300:
301: \bibitem[{\citenamefont{Shan}(2003)}]{shan-quantifier}
302: \bibinfo{author}{\bibnamefont{Shan}, \bibfnamefont{Chung-chieh}}.
303: \bibinfo{year}{2003}.
304: \newblock \bibinfo{title}{Quantifier strengths predict scopal possibilities of
305: {M}andarin {C}hinese {\it wh\/}-indefinites}.
306: \newblock \bibinfo{note}{Draft manuscript, Harvard University;
307: \url{http://www.eecs.harvard.edu/~ccshan/mandarin/}}.
308:
309: \bibitem[{\citenamefont{Shan and Barker}(2003)}]{shan-explaining}
310: \bibinfo{author}{\bibnamefont{Shan}, \bibfnamefont{Chung-chieh}},
311: \bibnamefont{and} \bibinfo{author}{\bibfnamefont{Chris}
312: \bibnamefont{Barker}}. \bibinfo{year}{2003}.
313: \newblock \bibinfo{title}{Explaining crossover and superiority as left-to-right
314: evaluation}.
315: \newblock \bibinfo{note}{Draft manuscript, Harvard University and University of
316: California, San Diego; \url{http://semanticsarchive.net/Archive/TBjZDQ3Z/}}.
317:
318: \bibitem[{\citenamefont{Taha and Nielsen}(2003)}]{taha-environment}
319: \bibinfo{author}{\bibnamefont{Taha}, \bibfnamefont{Walid}}, \bibnamefont{and}
320: \bibinfo{author}{\bibfnamefont{Michael~Florentin} \bibnamefont{Nielsen}}.
321: \bibinfo{year}{2003}.
322: \newblock \bibinfo{title}{Environment classifiers}.
323: \newblock In \emph{\bibinfo{booktitle}{{POPL} '03: Conference record of the
324: annual {ACM} symposium on principles of programming languages}},
325: \bibinfo{pages}{26--37}. \bibinfo{address}{{N}ew {Y}ork}:\@
326: \bibinfo{publisher}{{ACM} {P}ress}.
327:
328: \bibitem[{\citenamefont{Thielecke}(2003)}]{thielecke-control}
329: \bibinfo{author}{\bibnamefont{Thielecke}, \bibfnamefont{Hayo}}.
330: \bibinfo{year}{2003}.
331: \newblock \bibinfo{title}{From control effects to typed continuation passing}.
332: \newblock In \emph{\bibinfo{booktitle}{{POPL} '03: Conference record of the
333: annual {ACM} symposium on principles of programming languages}},
334: \bibinfo{pages}{139--149}. \bibinfo{address}{{N}ew {Y}ork}:\@
335: \bibinfo{publisher}{{ACM} {P}ress}.
336:
337: \end{thebibliography}
338: