Related papers: On characterizations of $\mathcal{MT}(\lambda)$-fu…
This text gives a rough, but linear summary covering some key definitions, notations, and propositions from Lambda Calculus: Its Syntax and Semantics, the classical monograph by Barendregt. First, we define a theory of untyped extensional…
In this paper, we present a general realizability semantics for the simply typed $\lambda\mu$-calculus. Then, based on this semantics, we derive both weak and strong normalization results for two versions of the $\lambda\mu$-calculus…
This paper is a concise and painless introduction to the $\lambda$-calculus. This formalism was developed by Alonzo Church as a tool for studying the mathematical properties of effectively computable functions. The formalism became popular…
We introduce the $\lambda$-mean transform $M_{\lambda}(T)$ of a Hilbert space operator $T$ as an extension of some operator transforms based on the Duggal transform $T^D$ by $M_{\lambda}(T) := \lambda T + (1-\lambda)T^D$, and present some…
We give an elementary characterization of rational functions among meromorphic functions in the complex plane.
In this note, we establish some new results on some special types of function algebras and also give new proofs to some existing ones
In this paper we present the definitions and some properties of several Samrandache Type Functions that are involved in many solved and unsolved problems and conjectures in number theory and recreational mathematics.
We present a formal definition of superoscillating function. We discuss the limitations of previously proposed definitions and illustrate that they do not cover the full gamut of superoscillatory behaviours. We demonstrate the suitability…
In this paper, additional properties of the lower gamma functions and the error functions are introduced and proven. In particular, we prove interesting relations between the error functions and Laplace transform.
This note is about encoding Turing machines into the lambda-calculus.
We give a functorial characterization of Mittag-Leffler modules and strict Mittag-Leffler modules.
We aim to introduce a new extension of beta function and to study its important properties. Using this definition, we introduce and investigate new extended hypergeometric and confluent hypergeometric functions. Further, some hybrid…
A new definition of a multi-valued logarithm on time scales is introduced for delta-differentiable functions that never vanish. This new logarithm arises naturally from the definition of the cylinder transformation that is also at the heart…
In this article, we define a special function called the Bigamma function. It provides a generalization of Euler's gamma function. Several algebraic properties of this new function are studied. In particular, results linking this new…
This paper deals with some simple results about spherical functions of type $\delta$, namely new integral formulas, new results about behavior at infinity and some facts about the related $C_\sigma$ functions.
In the present paper the new multiplier transformations $\mathrm{{\mathcal{J}% }}_{p}^{\delta }(\lambda ,\mu ,l)$ $(\delta ,l\geq 0,\;\lambda \geq \mu \geq 0;\;p\in \mathrm{% }%\mathbb{N} )}$ of multivalent functions is defined. Making use…
In this paper a general theory of semi-classical matrix orthogonal polynomials is developed. We define the semi-classical linear functionals by means of a distributional equation $D(u A) = u B,$ where $A$ and $B$ are matrix polynomials.…
In this paper we give a method, based on the characteristic function of a set, to solve some difficult problems of set theory in undergraduate research.
In this paper we give the functional characteristics of the Rothberger and Menger properties.
We describe a new approach to the notion of general hypergeometric functions