Related papers: $\lambda$-Scale, a lambda calculus for spaces with…
The Resource $\lambda$-calculus is a variation of the $\lambda$-calculus where arguments can be superposed and must be linearly used. Hence it is a model for linear and non-deterministic programming languages, and the target language of…
Metric algebras are metric variants of $\Sigma$-algebras. They are first introduced in the field of universal algebra to deal with algebras equipped with metric structures such as normed vector spaces. Recently a similar notion of…
This paper proposes new mathematical models of the untyped Lambda-mu calculus. One is called the stream model, which is an extension of the lambda model, in which each term is interpreted as a function from streams to individual data. The…
A conformable time-scale fractional calculus of order $\alpha \in ]0,1]$ is introduced. The basic tools for fractional differentiation and fractional integration are then developed. The Hilger time-scale calculus is obtained as a particular…
The differential calculus on `non-standard' $h$-Minkowski spaces is given. In particular it is shown that, for them, it is possible to introduce coordinates and derivatives which are simultaneously hermitian.
We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection…
A $\lambda$-translator is a surface in Euclidean space $\mathbb{R}^3$ whose Gauss curvature $K$ satisfies $K=\langle N, \vec{v} \rangle +\lambda$, where $N$ is the Gauss map, $\vec{v}$ is a fixed direction, and $\lambda \in \mathbb{R}$. In…
Braided sets which are also spaces with dilations are presented and explored in this paper, in the general frame of emergent algebras arxiv:0907.1520. Examples of such spaces are the sub-riemannian symmetric spaces. Keywords: braided sets,…
The translation of an operator is defined by using conjugation with time-frequency shifts. Thus, one can define $\Lambda$-shift-invariant subspaces of Hilbert-Schmidt operators, finitely generated, with respect to a lattice $\Lambda$ in…
The discrete, the quantum, and the continuous calculus of variations, have been recently unified and extended by using the theory of time scales. Such unification and extension is, however, not unique, and two approaches are followed in the…
We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of Baxter algebra. This characterization leads to a natural generalization of the umbral…
We focus on studying, numerically, the scalar curvature tensor in a two-dimensional discrete space. The continuous metric of a two-sphere is transformed into that of a lattice using two possible slicings. In the first, we use two integers,…
We discuss umbral calculus as a method of systematically discretizing linear differential equations while preserving their point symmetries as well as generalized symmetries. The method is then applied to the Schr\"{o}dinger equation in…
We develop the calculus of variations on time scales for a functional that is the composition of a certain scalar function with the delta and nabla integrals of a vector valued field. Euler-Lagrange equations, transversality conditions, and…
In order to develop a differential calculus for error propagation we study local Dirichlet forms on probability spaces with square field operator $\Gamma$ -- i.e. error structures -- and we are looking for an object related to $\Gamma$…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the…
A finitely-additive measure $\lambda $ on an infinite-dimensional real Hilbert space $E$ which is invariant with respect to shifts and orthogonal mappings has been defined. This measure can be considered as the analog of the Lebesgue…
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 two extensions of the $\lambda$-calculus with a probabilistic choice operator, $\Lambda_\oplus^{cbv}$ and $\Lambda_\oplus^{cbn}$, modeling respectively call-by-value and call-by-name probabilistic computation. We prove that…