Related papers: $\lambda$-Scale, a lambda calculus for spaces with…
We introduce a transformation for converting a series in a parameter, \lambda, to a series in the inverse of the parameter \lambda^{-1}. By applying the transform on simple examples, it becomes apparent that there exist relations between…
In this paper, we establish Parseval identities and surprising new inequalities for weaving frames in Hilbert space, which involve scalar $\lambda\in\rs$. By suitable choices of $\lambda$, one obtains the previous results as special cases.…
This note is about encoding Turing machines into the lambda-calculus.
A Smarandache multi-space is a union of $n$ different spaces equipped with some different structures for an integer $n\geq 2$, which can be both used for discrete or connected spaces, particularly for geometries and spacetimes in…
In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite…
We give a brief introduction to the clocked lambda calculus, an extension of the classical lambda calculus with a unary symbol tau used to witness the beta-steps. In contrast to the classical lambda calculus, this extension is infinitary…
Exact cosmological models for a scalar field in Lyra geometry are studied in the presence of a time-varying effective cosmological term originated from the specific interaction of an auxiliary $\Lambda$ - term with the displacement vector.…
This course, intended for undergraduates familiar with elementary calculus and linear algebra, introduces the extension of differential calculus to functions on more general vector spaces, such as functions that take as input a matrix and…
For a real number $0<\lambda<2$, we introduce a transformation $T_\lambda$ naturally associated to expansion in $\lambda$-continued fraction, for which we also give a geometrical interpretation. The symbolic coding of the orbits of…
Statistical applications often involve the calculation of intractable multidimensional integrals. The Laplace formula is widely used to approximate such integrals. However, in high-dimensional or small sample size problems, the shape of the…
Modern programming frequently requires generalised notions of program equivalence based on a metric or a similar structure. Previous work addressed this challenge by introducing the notion of a V-equation, i.e. an equation labelled by an…
The main purpose of this study is to introduce the spaces $cs^{\lambda}, cs_0^{\lambda}$ and $bs^{\lambda}$ which are $BK-$spaces of non-absolute type. We prove that these spaces are linearly isomorphic to the spaces $cs, cs_0$ and $bs$,…
The differential $\lambda$-calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has generalized the axioms of Taylor expansion so they…
We provide a proof of strong normalisation for lambda+, a recently introduced, explicitly typed, non-deterministic lambda-calculus where isomorphic propositions are identified. Such a proof is a non-trivial adaptation of the reducibility…
We present some lambda calculus with explicit substitutions and named variables. The characteristic feature of this calculus is as follows: renaming of bound variables when performing substitutions is done using special reductions and may…
The $\lambda$-perfect maps, a generalization of perfect maps (continuous closed maps with compact fibers) are presented. Using $P_\lambda$-spaces and the concept of $\lambda$-compactness some results regarding $\lambda$-perfect maps will be…
In this paper, we first introduce the concept and representations of modified $\lambda$-differential Lie-Yamaguti algebras. We then establish the cohomology of a modified $\lambda$-differential Lie-Yamaguti algebra with coefficients in a…
We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used similar techniques to reason about higher-order probabilistic programs,…
Let $\delta_0(P,k)$ denote the degree $k$ dilation of a point set $P$ in the domain of plane geometric spanners. If $\Lambda$ is the infinite square lattice, it is shown that $1+\sqrt{2} \leq \delta_0(\Lambda,3) \leq (3+2\sqrt2) \, 5^{-1/2}…
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…