相关论文: First contact remarks on umbra difference calculus…
Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating $\beta$-normal linear lambda terms. In this brief note, it is shown (by…
Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory,…
In this paper, we prove results on enumerations of sets of Rota-Baxter words in a finite number of generators and a finite number of unary operators. Rota-Baxter words are words formed by concatenating generators and images of words under…
Let $x$ be a cyclic sequence of $n$ elements of the finite field $\mathbb{F}_q$ (the first element immediately follows the $n$-th one). Let us define the operation $\Delta$ as the transition from $x$ to the sequence of differences of the…
We review origins and main properties of the most important bracket operations appearing canonically in differential geometry and mathematical physics in the classical, as well as the supergeometric setting. The review is supplemented by a…
Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural…
This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is…
Reference based multiple imputation methods have become popular for handling missing data in randomised clinical trials. Rubin's variance estimator is well known to be biased compared to the reference based imputation estimator's true…
Orbits of automorphism groups of partially ordered sets are not necessarily congruence classes, i.e. images of an order homomorphism. Based on so-called orbit categories a framework of factorisations and unfoldings is developed that…
The author introduces the notion of a quantum form of an algebraic torus. In the case of diagonal algebraic torus we get the algebra of Laurent twisted polynomials. Quantum algebraic torus can be characterized in terms of exact sequences.…
Citation analysis, as a tool for quantitative studies of science, has long emphasized direct citation relations, leaving indirect or high order citations overlooked. However, a series of early and recent studies demonstrate the existence of…
This paper is partly a historical survey of various approaches and methods in the fractional calculus, partly a description of the Kipriyanov extraordinary theory in comparison with the classical one. The significance and outstanding…
These are general notes on tensor calculus which can be used as a reference for an introductory course on tensor algebra and calculus. A basic knowledge of calculus and linear algebra with some commonly used mathematical terminology is…
An alternative organization for Differential and Integral Calculus, based on an extension of real numbers that include infinitesimal and infinite quantities, is presented. Only Elementary Set Theory is used, without reference to methods or…
Unitary fusion categories (UFCs) have gained increased attention due to emerging connections with quantum physics. We consider a fusion rule of the form $q\otimes q \cong \mathbf{1}\oplus\bigoplus^k_{i=1}x_{i}$ in a UFC $\mathcal{C}$, and…
Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic. In this paper, we compare three sequent…
In this article, we explore a series of elementary yet insightful results involving integrals related to Gaussian sums. Using techniques rooted in classical calculus, we derive several identities and evaluate nontrivial definite integrals…
In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof…
An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it…
The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…