Results 21 to 30 of about 3,210,715 (302)
Microbiome, 2019 Background Dental calculus, calcified oral plaque biofilm, contains microbial and host biomolecules that can be used to study historic microbiome communities and host responses. Dental calculus does not typically accumulate as much today as historically,
Irina M. Velsko +10 more
doaj +1 more source
Reduction in a linear lambda-calculus with applications to operational semantics [PDF]
, 2005 We study beta-reduction in a linear lambda-calculus derived from Abramsky's linear combinatory algebras. Reductions are classified depending on whether the redex is in the computationally active part of a term ("surface" reductions) or whether it is ...
Simpson, Alexander, Alex Simpson
core +1 more source
A new graphical calculus of proofs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by proof nets and interaction nets (two formalisms originating in linear logic).
Sandra Alves +2 more
doaj +1 more source
A calculus for overloaded functions with subtyping
Proceedings of the 1992 ACM conference on LISP and functional programming, 1992 We present a simple extension of typed λ-claculus where functions can be overloaded by adding different “pieces of code”. In short, the code of an overloaded function is formed by several branches of code; the branch to execute is chosen, when the function is applied, according to a particular selection rule which ...
CASTAGNA G., GHELLI, GIORGIO, LONGO G.
openaire +5 more sources
Functional calculus for generators of analytic semigroups of operators
Karpatsʹkì Matematičnì Publìkacìï, 2013 We construct a functional calculus for generators of one-parameter bounded analytic semigroups of operators on a Banach space. The calculus symbol class consist of the Laplace image of the convolution algebra $\cal S'_+$ of tempered distributions with ...
O. V. Lopushansky, S. V. Sharyn
doaj +1 more source
The Bang Calculus and the Two Girard's Translations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We study the two Girard's translations of intuitionistic implication into linear logic by exploiting the bang calculus, a paradigmatic functional language with an explicit box-operator that allows both call-by-name and call-by-value lambda-calculi to be ...
Giulio Guerrieri, Giulio Manzonetto
doaj +1 more source
Uniqueness of Taylor’s functional calculus [PDF]
Proceedings of the American Mathematical Society, 1983 Two uniqueness results concerning Fréchet module structures over algebras of holomorphic functions defined on some complex manifolds are presented, containing as particular cases uniqueness theorems for J. L. Taylor’s analytic functional calculi for commuting
openaire +2 more sources
EXPTIME tableaux for the coalgebraic mu-calculus [PDF]
, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +4 more sources
Taylor Functional Calculus [PDF]
, 2014 The notion of spectrum of an operator is one of the central concepts of operator theory. It is closely connected with the existence of a functional calculus which provides important information about the structure of Banach space operators.The situation for commuting n -tuples of Banach space operators is much more complicated.
openaire +2 more sources
Operator representations of function algebras and functional calculus [PDF]
Opuscula Mathematica, 2011 This paper deals with some operator representations \(\Phi\) of a weak*-Dirichlet algebra \(A\), which can be extended to the Hardy spaces \(H^{p}(m)\), associated to \(A\) and to a representing measure \(m\) of \(A\), for \(1\leq p\leq\infty\).
Adina Juratoni, Nicolae Suciu
doaj +1 more source