Denotational Aspects of Untyped Normalization by Evaluation

We show that the standard normalization-by-evaluation construction for the simply-typed lambda_{beta eta}-calculus has a natural counterpart for the untyped lambda_beta-calculus, with the central type-indexed logical relation replaced by a "recursively defined'' invariant relation, in the style of Pitts. In fact, the construction can be seen as generalizing a computational-adequacy argument for an untyped, call-by-name language to normalization instead of evaluation. In the untyped setting, not all terms have normal forms, so the normalization function is necessarily partial. We establish its correctness in the senses of soundness (the output term, if any, is in normal form and beta-equivalent to the input term); identification ( beta-equivalent terms are mapped to the same result); and completeness (the function is defined for all terms that do have normal forms). We also show how the semantic construction enables a simple yet formal correctness proof for the normalization algorithm, expressed as a functional program in an ML-like call-by-value language. Finally, we generalize the construction to produce an infinitary variant of normal forms, namely Böhm trees. We show that the three-part characterization of correctness, as well as the proofs, extend naturally to this generalization

Grammatical properties of pronouns and their representation : an exposition

This volume brings together a cross-section of recent research on the grammar and representation of pronouns, centering around the typology of pronominal paradigms, the generation of syntactic and semantic representations for constructions containing pronouns, and the neurological underpinnings for linguistic distinctions that are relevant for the production and interpretation of these constructions. In this introductory chapter we first give an exposition of our topic (section 2). Taking the interpretation of pronouns as a starting point, we discuss the basic parameters of pronominal representations, and draw a general picture of how morphological, semantic, discourse-pragmatic and syntactic aspects come together. In section 3, we sketch the different domains of research that are concerned with these phenomena, and the particular questions they are interested in, and show how the papers in the present volume fit into the picture. Section 4 gives summaries of the individual papers, and a short synopsis of their main points of convergence

Children's naming and word-finding difficulties: descriptions and explanations

Purpose: There are a substantial minority of children for whom lexical retrieval problems impede the normal pattern of language development and use. These problems include accurately producing the correct word even when the word?s meaning is understood; such children are often referred to as having word-finding difficulties (WFDs). This review examines the nature of naming and lexical retrieval difficulties in these and other groups of children. Method: A review of the relevant literature on lexical access difficulties in children with word finding difficulties was conducted. Studies were examined in the terms of population parameters and comparison groups included in the study. Results and Conclusions: Most discussions of the cognitive processes causing lexical retrieval difficulties have referred to semantics, phonology and processing speed. It is argued that our understanding of these topics will be further advanced by the use of appropriate methodology to test developmental models that both identify the processes in successfully performing different lexical retrieval tasks and more precisely locating the difficulties experienced by children with such tasks

Microgenesis, immediate experience and visual processes in reading

The concept of microgenesis refers to the development on a brief present-time scale of a percept, a thought, an object of imagination, or an expression. It defines the occurrence of immediate experience as dynamic unfolding and differentiation in which the ‘germ’ of the final experience is already embodied in the early stages of its development. Immediate experience typically concerns the focal experience of an object that is thematized as a ‘figure’ in the global field of consciousness; this can involve a percept, thought, object of imagination, or expression (verbal and/or gestural). Yet, whatever its modality or content, focal experience is postulated to develop and stabilize through dynamic differentiation and unfolding. Such a microgenetic description of immediate experience substantiates a phenomenological and genetic theory of cognition where any process of perception, thought, expression or imagination is primarily a process of genetic differentiation and development, rather than one of detection (of a stimulus array or information), transformation, and integration (of multiple primitive components) as theories of cognitivist kind have contended. My purpose in this essay is to provide an overview of the main constructs of microgenetic theory, to outline its potential avenues of future development in the field of cognitive science, and to illustrate an application of the theory to research, using visual processes in reading as an example

The ASL-CDI 2.0: an updated, normed adaptation of the MacArthur Bates Communicative Development Inventory for American Sign Language

Vocabulary is a critical early marker of language development. The MacArthur Bates Communicative Development Inventory has been adapted to dozens of languages, and provides a bird’s-eye view of children’s early vocabularies which can be informative for both research and clinical purposes. We present an update to the American Sign Language Communicative Development Inventory (the ASL-CDI 2.0, https://www.aslcdi.org), a normed assessment of early ASL vocabulary that can be widely administered online by individuals with no formal training in sign language linguistics. The ASL-CDI 2.0 includes receptive and expressive vocabulary, and a Gestures and Phrases section; it also introduces an online interface that presents ASL signs as videos. We validated the ASL-CDI 2.0 with expressive and receptive in-person tasks administered to a subset of participants. The norming sample presented here consists of 120 deaf children (ages 9 to 73 months) with deaf parents. We present an analysis of the measurement properties of the ASL-CDI 2.0. Vocabulary increases with age, as expected. We see an early noun bias that shifts with age, and a lag between receptive and expressive vocabulary. We present these findings with indications for how the ASL-CDI 2.0 may be used in a range of clinical and research settingsAccepted manuscrip

Between anaphora and deixis...the resolution of the demonstrative noun-phrase ‘that N’

Three experiments examined the hypothesis that the demonstrative noun phrase (NP) that N, as an anadeictic expression, preferentially refers to the less salient referent in a discourse representation when used anaphorically, whereas the anaphoric pronoun he or she preferentially refers to the highly-focused referent. The findings, from a sentence completion task and two reading time experiments that used gender to create ambiguous and unambiguous coreference, reveal that the demonstrative NP specifically orients processing toward a less salient referent when there is no gender cue discriminating between different possible referents. These findings show the importance of taking into account the discourse function of the anaphor itself and its influence on the process of searching for the referent