This study examines how reference to spatial boundaries can make speakers of English represent or understand a motion event as temporally bounded. Spatial boundaries can be implied by (a) the path expressed by a directional item, (b) the so-called ―landmark‖ (Langacker, 1987) serving as ̳support‘ for the path, and (c) the moving entity. Importantly, one and the same entity in the real world can...

............................................................................................................................ vi LIST OF TABLES .................................................................................................................. xii LIST OF FIGURES ............................................................................................................... xiii LI...

One of the necessary extensions to the centering model is a mechanism to handle pronouns with intrasentential antecedents. Existing centering models deal only with discourses consisting of simple sentences. It leaves unclear how to delimit center-updating utterance units and how to process complex utterances consisting of multiple clauses. In this paper, I will explore the extent to which a str...

We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift schema, while preserving the disjunction and existence properties.

We study various representations for cyclic λ -terms as higher-order or as first-order term graphs. We focus on the relation between ‘λ -higher-order term graphs’ (λ -ho-term-graphs), which are firstorder term graphs endowed with a well-behaved scope function, and their representations as ‘λ -termgraphs’, which are plain first-order term graphs with scope-delimiter vertices that meet certain sc...

Fiber Distributed Data Interface (FDDI) is a 100 megabits per second ber optic local area network (LAN) standard being developed by the American National Standard Institute (ANSI). We analyze the impact of various design decisions on the error detection capability of the protocol. In particular, we quantify frame error rate, token loss rate, and undetected error rate. Several characteristics of...

Program fragments in functional languages may be observationally congruent in a language without eeects (continuations, state, exceptions) but not in an extension with eeects. We give a generic way to preserve pure functional congruences by means of an eeects delimiter. The eeects delimiter is deened semantically using the retraction techniques of 14], but can also be given an operational seman...

The idea of tuple spaces is based on the white-board design pattern & made its first appearance in the late 1980s. Similar to its mathematical interpretation, we identify tuple as a set of values separated by some kind of delimiter. For an example we can represent the name, birth year & the home town of a student using a simple tuple . In our work, we have implemented a tup...

Many mainstream languages have operators named yield that share common semantic roots but differ significantly in their details. We present the first known formal study of these mainstream yield operators, unify their many semantic differences, adapt them to to a functional setting, and distill the operational semantics and type theory for a generalized yield operator. The resultant yield, with...

In these lectures I discuss the impact of soft hadronic physics on predictions for B decays. Unfortunately our tools for calculating these effects are limited; even after the use of the best available tools the resulting theoretical uncertainties are difficult to delimit, and can obscure tests for the presence of beyond-Standard-Model physics. The first lecture reviews what tools are available,...