自然语言中的定界延续：量化和极性敏感性
Delimited continuations in natural language: quantification and polarity sensitivity
摘要：
创建语言学理论就像创建一门程序设计语言：人们通常设计一个类型系统来描述可接受的话语，并设计一个指称语义来解释对其行为的观察。通过这种联系，编程语言中的定界连续概念可以帮助分析自然语言现象，如量化和极性敏感性。使用逻辑元语言，其语法包括控制操作符，其语义涉及评估顺序，这些分析可以用直接风格而不是延续传递风格来表达，这些现象可以被认为是计算的副作用。
英文摘要：
Making a linguistic theory is like making a programming language: one typically devises a type system to delineate the acceptable utterances and a denotational semantics to explain observations on their behavior. Via this connection, the programming language concept of delimited continuations can help analyze natural language phenomena such as quantification and polarity sensitivity. Using a logical metalanguage whose syntax includes control operators and whose semantics involves evaluation order, these analyses can be expressed in direct style rather than continuation-passing style, and these phenomena can be thought of as computational side effects.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
