We present a way to restrict recursive inheritance without sacrificing the benefits of F-bounded polymorphism. In particular, we distinguish two new concepts, materials and shapes, and demonstrate through a survey of 13.5 million lines of open-source genericJava code that these two concepts never actually overlap in practice. With thisMaterial-Shape Separation, we prove that even naı̈ve type-che...

Let X be an F-space, and let Y be a subspace of X of dimension one, with X/Y = lp (0 p oo). Provided p ~ 1, X ~lp; however if p = 1, we construct an example to show that X need not be locally convex. More generally we show that Y is any closed subspace of X, then if Y is an r-Banach space (0 r:5 1) and XI Y is a p-Banach space with p r S 1 then X is a p-Banach space; if Y and XI Y are B-convex ...

System F-bounded is a second-order typed *-calculus with subtyping which has been defined to carry out foundational studies about the type systems of object-oriented languages. The almost recursive nature of the essential feature of this system makes one wonder whether it retains the strong normalization property, with respect to firstand second-order ;' reduction of system F . We prove that th...

In this paper, we study the local property of bounded hyperconvex domains Ω which we can approximative each plurisubharmonic function u ∈ F(Ω) by an increasing sequence of plurisubharmonic functions defined on strictly larger domains.

Let G = (V,E) be a graph. A k-neighborhood in G is a set of vertices consisting of all the vertices at distance at most k from some vertex of G. The hypergraph on vertex set V which edge set consists of all the k-neighborhoods of G for all k is the neighborhood hypergraph of G. Our goal in this paper is to investigate the complexity of a graph in terms of its neighborhoods. Precisely, we define...

It is proved that the maximal operator σ # of the triangular-Fejér-means of a two-dimensional Walsh–Fourier series is bounded from the dyadic Hardy space Hp to Lp for all 1/2 < p ≤ ∞ and, consequently, is of weak type (1,1). As a consequence we obtain that the triangular-Fejér-means σ 2n of a function f ∈ L1 converge a.e. to f . The maximal operator σ # is bounded from the Hardy space H1/2 to t...

In this paper we study the fractional block sensitivity of Boolean functions. Recently, Tal [Tal13] and Gilmer, Saks, and Srinivasan [GSS13] independently introduced this complexity measure, denoted by fbs(f), and showed that it is equal (up to a constant factor) to the randomized certificate complexity, denoted by RC(f), which was introduced by Aaronson [Aar03]. In this paper, we relate the fr...

The classical Julia-Wolff-Carathéodory theorem gives a condition ensuring the existence of the non-tangential limit of both a bounded holomorphic function and its derivative at a given boundary point of the unit disk in the complex plane. This theorem has been generalized by Rudin to holomorphic maps between unit balls in C, and by the author to holomorphic maps between strongly (pseudo)convex ...

in this paper, a new definition of fuzzy bounded sets and totallyfuzzy bounded sets is introduced and properties of such sets are studied. thena relation between totally fuzzy bounded sets and n-compactness is discussed.finally, a geometric characterization for fuzzy totally bounded sets in i- topologicalvector spaces is derived.