We study superdevelopments in the weak lambda calculus of Çaǧman and Hindley, a confluent variant of the standard weak lambda calculus in which reduction below lambdas is forbidden. In contrast to developments, a superdevelopment from a term M allows not only residuals of redexes in M to be reduced but also some newly created ones. In the lambda calculus there are three ways new redexes may be ...

This paper proposes to study gender influences on subjective evaluations in images. Our goal is to verify if some common conclusions in psychology experiences are confirmed during the subjective evaluations we organized. Our database and our test strategy are the main originalities of this work. We built a new low semantic images database, composed of 350 natural images. The tests were accessib...

This paper investigates experimentally how organisational decision processes affect the moral motivations of actors inside a firm that must forego profits to reduce harming a third party. In a “vertical” treatment, one insider unilaterally sets the harm-reduction strategy; the other can only accept or quit. In a “horizontal” treatment, the insiders decide by consensus. Our 2-by-2 design also co...

A rewrite sequence is said to be outermost-fair if every outer-most redex occurrence is eventually eliminated. Outermost-fair rewriting is known to be (head-)normalising for almost orthogonal rewrite systems. In this paper we study (head-)normalisation for the larger class of weakly orthogonal rewrite systems. Normalisation is established and a counterexample against head-normalisation is provi...

Metacognition refers to 'cognition about cognition' and includes metacognitive knowledge, strategies and experiences (Efklides, 2008; Flavell, 1979). Research on reading has shown that better readers demonstrate more metacognitive knowledge than poor readers (Baker & Beall, 2009), and that reading ability improves through strategy instruction (Gersten, Fuchs, Williams, & Baker, 2001). The curre...

We positively answer the question A.1.6 in [2]: “Is there a recursive normalizing one-step reduction strategy for micro λ-calculus?” Micro λ-calculus refers to an implementation of the λ-calculus due to [1], implementing β-reduction by means of “micro steps” recursively distributing a β-redex (λx.M)N over its body M . 1 Inner spine strategy First, we provide “micro λ-calculus” with a more syste...

Warhammer 40,000 (W40K) is a non-digital strategy war-game involving the tactical manoeuvring of miniature figurines on a 6' by 4' tabletop. These figurines are painstakingly assembled, painted and often modified by players to accord with the game's backstory. Our research explores the ongoing success of W40K in the face of ubiquitous and pervasive computer technologies and presents the results...

Today’s wireless communication products become more complex and more integrated. The low cost prices paid by the consumer for wireless phones and the competitive market imposed a tremendous pressure to have low cost RF ICs. The test cost becomes almost the main factor determining profit margin. To economically test high volumes of integrated RF ICs at a fraction of the cost of the IC we have to...