Results 11 to 20 of about 4,689,287 (347)
Relating Functional and Imperative Session Types [PDF]
Logical Methods in Computer Science, 2022 Imperative session types provide an imperative interface to session-typed communication. In such an interface, channel references are first-class objects with operations that change the typestate of the channel.
Hannes Saffrich, Peter Thiemann
doaj +1 more source
Fréchet differential of a power series in Banach algebras [PDF]
Opuscula Mathematica, 2010 We present two new forms in which the Fréchet differential of a power series in a unitary Banach algebra can be expressed in terms of absolutely convergent series involving the commutant \(C(T) : A \mapsto [A,T]\).
Benedetto Silvestri
doaj +1 more source
Representation and stability of distributed order resolvent families
AIMS Mathematics, 2022 We consider the resolvent family of the following abstract Cauchy problem (1.1) with distributed order Caputo derivative, where A is a closed operator with dense domain and satisfies some further conditions.
Chen-Yu Li
doaj +1 more source
H^∞-functional calculus for commuting families of Ritt operators and sectorial operators [PDF]
Operators and Matrices, 2019 We introduce and investigate $H^\infty$-functional calculus for commuting finite families of Ritt operators on Banach space $X$. We show that if either $X$ is a Banach lattice or $X$ or $X^*$ has property $(\alpha)$, then a commuting $d$-tuple $(T_1 ...
O. Arrigoni, C. Merdy
semanticscholar +1 more source
Operator Theory on One-Sided Quaternionic Linear Spaces: Intrinsic S-Functional Calculus and Spectral Operators [PDF]
Memoirs of the American Mathematical Society, 2018 Two themes drive this article: identifying the structure necessary to formulate quaternionic operator theory and revealing the relation between complex and quaternionic operator theory.
J. Gantner
semanticscholar +1 more source
Sheaves and functional calculus [PDF]
Pacific Journal of Mathematics, 1990 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Deferrari, G. +2 more
openaire +3 more sources
A multiplier algebra functional calculus [PDF]
Transactions of the American Mathematical Society, 2017 This paper generalizes the classical Sz.-Nagy--Foias $H^{\infty}(\mathbb{D})$ functional calculus for Hilbert space contractions. In particular, we replace the single contraction $T$ with a tuple $T=(T_1, \dots, T_d)$ of commuting bounded operators on a ...
K. Bickel +2 more
semanticscholar +1 more source
The untyped stack calculus and Bohm's theorem [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus.
Alberto Carraro
doaj +1 more source
Operator calculus on the class of Sato’s hyperfunctions
Karpatsʹkì Matematičnì Publìkacìï, 2013 We construct a functional calculus for generators of analytic semigroups of operators on a Banach space. The symbol class of the calculus consists of hyperfunctions with a compact support in $[0,\infty)$.
M.I. Patra, S.V. Sharyn
doaj +3 more sources
Extensions of the Novikov–Furutsu theorem, obtained by using Volterra functional calculus [PDF]
Physica Scripta, 2018 The Novikov–Furutsu (NF) theorem is a well-known mathematical tool, used in stochastic dynamics for correlation splitting, that is, for evaluating the mean value of the product of a random functional with a Gaussian argument multiplied by the argument ...
G. Athanassoulis, Konstantinos Mamis
semanticscholar +1 more source