Related papers: Cyclic Shift in the Lambek Calculus
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without…
We show how a rescaling of fractional operators with bounded kernels may help circumvent their documented deficiencies, for example, the inconsistency at zero or the lack of inverse integral operator. On the other hand, we build a novel…
Cirquent calculus is a novel proof theory permitting component-sharing between logical expressions. Using it, the predecessor article "Elementary-base cirquent calculus I: Parallel and choice connectives" built the sound and complete…
Under the extension of Curry-Howard's correspondence to classical logic, Gentzen's NK and LK systems can be seen as syntax-directed systems of simple types respectively for Parigot's Lambda Mu Calculus and Curien-Herbelin's Lambda Bar Mu Mu…
We study the existence of algebras of hypercyclic vectors for weighted backward shifts on Fr\'echet sequence spaces that are algebras when endowed with coordinatewise multiplication or with the Cauchy product. As a particular case we obtain…
We extend our earlier work in [TZ1], where an analytic approach to the Guillemin-Sternberg conjecture [GS] was developed, to cases where the Spin^c-complex under consideration is allowed to be further twisted by certain exterior power…
We transfer the theory of slack operators and sums-of-squares-criteria for lifts from convex cones to operator systems. These allow to study the following question, among others: Given an abstract operator system, is its enveloping…
In this paper, we study the so-called Bishop operators $T _ \alpha$ on $L ^ p ([0, 1])$, with $\alpha \in (0, 1)$ and $1 < p < + \infty$, from the point of view of linear dynamics. We show that they are never hypercyclic nor supercyclic,…
We investigate, in the context of functional prototype-based lan- guages, a calculus of objects which might extend themselves upon receiving a message, a capability referred to by Cardelli as a self-inflicted operation. We present a sound…
We investigate a generalization of weighted shifts where each weight $w_k$ is replaced by an operator $T_k$ going from a Banach space $X_k$ to another one $X_{k-1}$. We then look if the obtained shift operator $B_{(T_k)}$ defined on the…
This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability result of Jung and Tiuryn via Kripke logical relations and…
We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any datatype. More formally, given an algorithm above a family…
We combine the coordinate method and Erlangen program in the framework of noncommutative geometry through an investigation of symmetries of noncommutative coordinate algebras. As the model we use the coherent states construction and the…
Delimited control operator shift0 exhibits versatile capabilities: it can express layered monadic effects, or equivalently, algebraic effects. Little did we know it can express lambda calculus too! We present $ \Lambda_\$ $, a call-by-value…
The method of brackets is an procedure to evaluate definite integrals. It is based on a small number of operational rules. The flexibility of this method is illustrated with the evaluation of an integral involving the Bessel K0 function and…
We present a principled way of deriving a continuous relaxation of a given discontinuous shrinkage operator, which is based on two fundamental results, proximal inclusion and conversion. Using our results, the discontinuous operator is…
A model operator approach to calculations of the QED corrections to energy levels in relativistic many-electron atomic systems is developed. The model Lamb shift operator is represented by a sum of local and nonlocal potentials which are…
This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also…
We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles. Termgraphs…
Classical mechanical systems with internal constraints will be examined using the extended symplectic formalism of Faddeev-Jackiw. We will derive the generalized brackets of the theory and the corresponding equations of motion. The…