Results 21 to 30 of about 137,153 (176)
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
On embedding Lambek calculus into commutative categorial grammars [PDF]
Journal of Logic and Computation, 2021 AbstractWe consider tensor grammars, which are an example of ‘commutative’ grammars, based on the classical (rather than intuitionistic) linear logic. They can be seen as a surface representation of abstract categorial grammars (ACG) in the sense that derivations of ACG translate to derivations of tensor grammars and this translation is isomorphic on ...
openaire +2 more sources
Generating q-Commutator Identities and the q-BCH Formula
Advances in Mathematical Physics, 2016 Motivated by the physical applications of q-calculus and of q-deformations, the aim of this paper is twofold. Firstly, we prove the q-deformed analogue of the celebrated theorem by Baker, Campbell, and Hausdorff for the product of two exponentials.
Andrea Bonfiglioli, Jacob Katriel
doaj +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source
Relative unitary commutator calculus, and applications [PDF]
, 2020 . This note revisits localisation and patching method in the setting of generalised unitary groups. Introducing certain subgroups of relative elementary unitary groups, we develop relative versions of the conjugation calculus and the commutator calculus ...
Zuhong Zhang +2 more
core
Quantum stochastic calculus with maximal operator domains. [PDF]
, 2004 Quantum stochastic calculus is extended in a new formulation in which its stochastic integrals achieve their natural and maximal domains. Operator adaptedness, conditional expectations and stochastic integrals are all defined simply in terms of the ...
Lindsay, J. Martin, Attal, Stéphane
core +4 more sources
Commutator estimates on contact manifolds and applications [PDF]
, 2019 This article studies sharp norm estimates for the commutator of pseudo-differential operators with multiplication operators on closed Heisenberg manifolds.
Gimperlein, Heiko +6 more
core +3 more sources
Noncommutative integration calculus [PDF]
Journal of Mathematical Physics, 1995 A noncommutative integration calculus arising in the mathematical description of Schwinger terms of fermion–Yang–Mills systems is discussed. The differential complexes of forms u0[ε,u1]...[ε,un] with ε a grading operator on a Hilbert space ℋ and ui bounded operators on ℋ which naturally contains the compactly supported de Rham forms on Rd (i.e., ε is ...
openaire +2 more sources
!COMMUTANT LIFTING, TENSOR ALGEBRAS, AND FUNCTIONAL CALCULUS [PDF]
Proceedings of the Edinburgh Mathematical Society, 2001 AbstractA non-commutative multivariable analogue of Parrott’s generalization of the Sz.-Nagy–Foia\c{s} commutant lifting theorem is obtained. This yields Tomita-type commutant results and interpolation theorems (e.g. Sarason, Nevanlinna–Pick, Carathéodory) for $F_n^\infty\,\bar{\otimes}\,\M$, the weakly-closed algebra generated by the spatial tensor ...
openaire +1 more source