In this paper we give an outline of recent algebraic results concerning theories and models of the untyped lambda calculus.

Department of Mathematics, Texas Tech University, Lubbock, TX 79409, USA; Division of Cardiology and Department of Pediatrics, Division of Endocrinology, Department of Internal Medicine, Scott and White, Temple, TX 76508, USA; Department of Mathematics, Southern Polytechnic State University, Marietta, GA 30060, USA; Department of Mathematics, Texas A & M University, College Station, TX 77843-33...

After the Dred Scott decision in 1857, Abraham Lincoln embarked on a public campaign to prevent the expansion of slavery in the federal territories. Lincoln’s opposition to Dred Scott was, however, bound up with a certain theoretical orientation that is often rejected in the general milieu of modern constitutional theory. Within the context of two recent revisionist accounts of slavery and Amer...

What are the conditions for fixing the reference of a proper name? Debate on this point has recently been rekindled by Scott Soames, Robin Jeshion, and others. In this paper, I sketch a new pragmatic approach to the justification of reference-fixing procedures, in opposition to accounts that insist on an invariant set of conditions for fixing reference across environments and linguistic communi...

we have recently synthesized [ni (map) ] complex [h-map= 2- (methylamino) pyridine]. 2- (methy1amino)pyridine reacts with meli in thf and generates the lithium salt (li-map). further reaction of nicl with two equivalent of this ligand in thf leads to the formation of a dark red solution. analytical data, molecular weight, and magnetic susceptibility of this complex confirm the formula [ni (map)...

The aim of this paper is to study the concept of -induced L-fuzzy topological spaces. Some properties of the functions (namely Scott-continuous function) are studied. The Scott-continuous functions turn out to be the natural tool for studying the -induced L-fuzzy topological space. We also discuss the connections between some separations, countability and covering properties of an ordinary topo...

Digit distributions are a popular tool for the detection of tax payers’ noncompliance and other fraud. In the early stage of digital analysis, Nigrini and Mittermaier (1997) made use of Benford’s Law (Benford 1938) as a natural reference distribution. A justification of that hypothesis is only known for multiplicative sequences (Schatte 1988). In applications, most of the number generating proc...

Conflicting and complex forces are shaping the diffusion patterns of the Internet and e-commerce in South Asia. Drawing upon the literature on institutional theory, we explore the drivers and inhibitors of the Internet in South Asian countries. We examine the influence of the three pillars of institutions (Scott, 1995) on the digital world of South Asia. The paper discusses how regulatory, norm...

Soil degradation has been implicated as a cause of the poor vegetation condition over much of the unimproved tussock grassland in the South Island high country and as a threat to the sustainability of extensive pastoralism (Parliamentary Commissioner for the Environment, 1991; South Island High Country Review Working Party, 1994). A key requirement for assessment of sustainability is an ability...