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.

A language L is con uent with respect to a given quasi order on if, for any x; y 2 L, there is z 2 L such that x z and y z. L is con uent with respect to in generalized sense if it is a nite union of languages conuent with respect to . We investigate in this paper the decidability of the generalized con uence problem with respect to the pre x partial order and the factor partial order for conte...

We investigate the con uence property, that is, the property of a language to contain, for any two words of it, one which is bigger, with respect to a given quasi order on the respective free monoid, than each of the former two. This property is investigated mainly for regular and context-free languages. As a consequence of our study, we give an answer to an old open problem raised by Haines co...

River confluence is a common feature of most irrigation and drainage channels and river systems, where tributary conflicts the main channel. In these section, rapid changes in velocity and discharge, sediment distribution and flow turbulent result in a deep confluence scour, a bar point in the separation zone at downstream of junction corner  and finally vortex flow. Thus, the main goal of this...

PURPOSE To evaluate fibroblast proliferation activity of the Tenon capsule from primary and recurrent pterygia. METHODS A randomized prospective study was performed with 43 surgical samples from 30 primary and 13 recurrent pterygia, and samples of normal Tenon capsule from the same pterygium patients. Proliferation, migration, and confluence rate, and patient age, lesion location and type (fl...

Background: Fibroblast cell lines have different application in biological research including nuclear transfer in cloning, feeder layer of embryonic stem cells, wound healing research and tissue engineering. The objective of the present study was to determine the proper pregnancy age for collecting and culturing guinea pig fetal fibroblast. Materials and Methods: Guinea pig fetuses were collect...

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...

Toyama's Theorem states that connuence is a modular property of disjoint term rewriting systems. This theorem does not generalize to combined systems with shared constructors. Thus the question arises naturally whether there are suucient conditions which ensure the modu-larity of connuence in the presence of shared constructors. In particular, Kurihara and Krishna Rao posed the problem whether ...