Siu L. Chow Department of Psychology, University of Regina, Canada

We present a new coinductive proof of confluence of Böhm reduction in infinitary lambda-calculus. The proof is simpler than previous proofs of this result. The technique of the proof is new, i.e., it is not merely a coinductive reformulation of any earlier proofs.

In this article we obtain a result about the uniqueness of factorization in terms of conjugates of the matrix U = »

Sense-making the information confluence: The whys and hows of college and university user satisficing of information needs. Phase II: Sense-making online survey and phone interview study.

Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of this kind is supposed to represent the interface among the “physical world” of atoms and the “digital world” of bits, but a whole landscapes of them. The interaction among humans and such landscapes of technology rich ar...

We prove modularity of constructive confluence for term rewriting systems using a novel decomposition of terms into tall aliens and bases. The proof is modular itself in that it factors through the decreasing diagrams theorem for abstract rewriting systems.