We redefine the uniqueness type system of the functional programming language Clean for the lambda calculus. Our treatment of curried functions is very different from their treatment in Clean, resulting in a much simpler type system (for example, the subtyping relation in Clean is no longer necessary). Further, our system supports arbitrary rank types, which has the additional benefit that we c...

We consider a join-the-shortest-queue model which is as follows. There are K single FIFO servers and M arrival processes. The customers from a given arrival process can be served only by servers from a certain subset of all servers. The actual destination is the server with the smallest weighted queue length. The arrival processes are assumed to obey a large deviation principle while the servic...

in this article, we consider the uniqueness of the difference monomials $f^{n}(z)f(z+c)$. suppose that $f(z)$ and $g(z)$ are transcendental meromorphic functions with finite order and $e_k(1, f^{n}(z)f(z+c))=e_k(1, g^{n}(z)g(z+c))$. then we prove that if one of the following holds (i) $n geq 14$ and $kgeq 3$, (ii) $n geq 16$ and $k=2$, (iii) $n geq 22$ and $k=1$, then $f(z)equiv t_1g(z)$ or $f(...

this research deals with the concept of uniqueness in creativity as one of the artist's concerns and her personal features differentiates her from her peers in literary approach and critical view horizon based on her learned knowledge and literature.the reflection of such concept can be found in the book teyf-e- al-khialwritten by sharif al-murtazain both poetry and its criticism. the poet...

In this paper, we study sufficient conditions for existence and uniqueness of solutions of three point boundary vale problem for p-Laplacian fractional order differential equations. We use Schauder's fixed point theorem for existence of solutions and concavity of the operator for uniqueness of solution. We include some examples to show the applicability of our results.

This paper investigates the existence and uniqueness of solutions to rst-order nonlinear boundary value problems (BVPs) involving fuzzy dif- ferential equations and two-point boundary conditions. Some sucient condi- tions are presented that guarantee the existence and uniqueness of solutions under the approach of Hukuhara dierentiability.

the purpose of this article is to investigate the uniqueness of meromorphic functions sharing five small functions on annuli.

in this paper, we show that for any finite order entire function $f(z)$, the function of the form $f(z)^{n}[f(z+c)-f(z)]^{s}$ has no nonzero finite picard exceptional value for all nonnegative integers $n, s$ satisfying $ngeq 3$, which can be viewed as a different result on hayman conjecture. we also obtain some uniqueness theorems for difference polynomials of entire functions sharing one comm...

This paper we investigate the existence and uniqueness of solutions to fuzzydierential equations driven by Liu's process. For this, it is necessary to provideand prove a new existence and uniqueness theorem for fuzzy dierential equationsunder weak Lipschitz condition. Then the results allows us to considerand analyze solutions to a wide range of nonlinear fuzzy dierential equationsdriven by Liu...

In this paper, among the other things, we prove the existence and uniqueness theorem of fixed point for mappings on a generalized orthogonal metric space. As a consequence of this, we obtain the existence and uniqueness of fixed point of Cauchy problem for the first order differential equation.