We demonstrate that in the context of statically-typed purely-functional lambda calculi without recursion, unchecked exceptions (e.g., SML exceptions) can be strictly more powerful than call/cc. More precisely, we prove that a natural extension of the simply-typed lambda calculus with unchecked exceptions is strictly more powerful than all known sound extensions of Girard’s Fω (a superset of th...

We establish strong convergence result of split feasibility problem for a family of quasi-nonexpansive multi-valued mappings and a total asymptotically strict pseudo-contractive mapping in infinite dimensional Hilbert spaces. Acknowledgement. The authors A. R. Khan and M. Abbas are grateful to King Fahd University of Petroleum and Minerals for supporting research project IN 121037.

The aim of this paper is to prove a convergence theorem of a generalized Ishikawa iteration sequence for two multivalued strongly pseudo-contractive mappings by using an approximation method in real uniformly smooth Banach spaces. We generalize and extend the results of Chang and Chang, Cho, Lee, Jung, and Kang.