Abstract: The theory of the λ-calculus with extensional sums is more complex than with only pairs and functions. We propose an untyped representation-an intermediate calculus-for the λ-calculus with ...

In this article, we determine certain conditions under which the partial sums of the multiplier integral operators of analytic univalent functions of bounded turning are also of bounded turning.