The -calculus features both variables and names together with their binding mechanisms. This means that constructions on open terms are necessarily parameterized in two different ways for both variables and names. Semantically, such a construction must be modeled by a biparameterized family of operators. In this paper, we study these biparameterized operators on Selinger’s categorical models of...

The purpose of this paper is to study common fixed point theorems for six (four single-valued and two set-valued) mappings in fuzzy metric space using general contractive condition of integral type, without assuming compatibility and continuity of any mapping on non complete metric spaces. To prove the theorems, we use a non compatible condition, that is, weak commutativity of type (Kh)in fuzzy...

in this note we point out and rectify some errors in a recently published paper “n. singh, r. jain: coupled fixed point results for weakly related mappings in partially ordered metric spaces, bull. iranian math. soc. 40 (2014), no. 1, 29-40”.

in the present paper‎, ‎we show the existence of a coupled fixed point for a non-decreasing mapping in partially ordered complete metric space using a partial order induced by an appropriate function $phi$‎. ‎we also define the concept of weakly related mappings on an ordered space‎. ‎moreover common coupled fixed points for two and three weakly related mappings are also proved in the same space‎.

We characterize the completeness of fuzzy quasi-metric spaces by means a fixed point theorem Kannan-type.Thus, we extend classical characterization metric due to Subrahmanyam as well recent resultsin literature on and completeness, respectively. Wealso introduce discuss contractions Chatterjea-type in this asymmetric context.

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach’s Fixed Point Theorem and ultrametric fixed point theorems. It works in a minimal setting, not involving any metrics, only based on the notion of “ball” and the property of “spherical completeness”. We demonstrate its applications to the metric and the ultrametric cases, and (in ...

For many fixed-parameter problems that are trivially solvable in polynomial-time, such as k-Dominating Set, essentially no better algorithm is presently known than the one which tries all possible solutions. Other problems, such as k-Feedback Vertex Set, exhibit fixed-parameter tractability: for each fixed k the problem is solvable in time bounded by a polynomial of degree c, where c is a const...

this paper is devoted to the study of establishing sufficient conditions forexistence and uniqueness of positive solution to a class ofnon-linear problems of fractional differential equations. the boundary conditionsinvolved riemann-liouville fractional order derivative and integral. further, the non-linear function $f$ containfractional order derivative which produce extra complexity. thank to...