The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching à la ML into a case analysis on constants and a commutation rule between case and application constructs. Although this commutation rule does not match with the usual computing intuitions, it makes the calculus expressive and confluent, with a rather simple...

Poincaré-invariant quantum field theories can be formulated on non-commutative planes if the coproduct on the Poincaré group is suitably deformed [1, 2].(See also especially Oeckl [3],[4] and Grosse et al.[5]) As shown in [6], this important result of these authors implies modification of free field commutation and anti-commutation relations and striking phenomenological consequences such as vi...

Abstmct. Various synchronization primitives are described by adding and testing integer vectors, or by using “Petri Nets”. A slice represents a local behavior, described by permissible sequences of distinct actions of the system. We present a double characterization of slices defined by various synchronization primitives: In terms of generating sets and dually in terms of commutation properties...

Pauli’s theorem asserts that the canonical commutation relation [T,H] = iI only admits Hilbert space solutions that form a system of imprimitivities on the real line, so that only non-self-adjoint time operators exist in single Hilbert quantum mechanics. This, however, is contrary to the fact that there is a large class of solutions to [T, H] = iI, including self-adjoint time operator solutions...

In this paper we investigate a quantum stochastic calculus build of creation, annihilation and number of particles operators which fulfill some deformed commutation relations. Namely, we introduce a deformation of a number of particles operator which has simple commutation relations with well known q-deformed creation and annihilation operators. Since all operators considered in this theory are...