Motivated by Kurt’s work [Filomat 30 (4) 921-927, 2016], we …rst consider a class of a new generating function for (p; q)-analog of Apostol type polynomials of order including Apostol-Bernoulli, Apostol-Euler and Apostol-Genocchi polynomials of order . By making use of their generating function, we derive some useful identities. We also introduce (p; q)-analog of Stirling numbers of second kind...

1 Department of Mathematics, Institute for Physical Science & Technology and Center for Scientific Computation And Mathematical Modeling (CSCAMM), University of Maryland College Park, MD 20742-3289 [email protected] 2 Department of Mathematics University of California Davis, CA 95616 [email protected] “Hyperbolic Problems: Theory, Numerics, Applications”, Proceedings of the 9th Inter...

Recent years have witnessed a renewal of interest in variable morph ordering, the situation where the position of a morph in the word is not constant. These situations present a challenge to extant inferential-realisational approaches to morphology (Stump, 2001), insofar as these adopt implicitly or explicitly an a-morphous approach to morphological composition (Anderson, 1992). In this paper w...

Since Lotfi A. Zadeh introduced the concept of fuzzy sets in 1965, many authors have devoted their efforts to the study of these new sets, both from a theoretical and applied point of view. Fuzzy sets were later extended in order to get more adequate and flexible models of inference processes, where uncertainty, imprecision or vagueness is present. Type 2 fuzzy sets comprise one of such extensi...

Propositions that express type equality are a frequent ingredient of modern functional programming—they can encode generic functions, dynamic types, and GADTs. Via the Curry-Howard correspondence, these propositions are ordinary types inhabited by proof terms, computed using runtime type representations. In this paper we show that two examples of type equality propositions actually do reflect t...

The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λμ-calculus, which can be seen as an extension of system F to classical logic, and for which we define a categorical framework: control hyperdoctrines. Our game model of λμ-calculus is based ...

Parameters a, b, c, and α are introduced to form the Bernoulli-type, Euler-type Genocchi-type polynomilas where is order of polynomial a positive integer. Ana- lytic methods used here obtain Fourier series for these polynomials.

Weyl semimetals, featuring massless linearly dispersing chiral fermions in three dimensions, provide an excellent platform for studying the interplay of electronic interactions and topology, exploring new correlated states matter. Here, we examine effect a local repulsive interaction on inversion-symmetry breaking semimetal model, using cluster dynamical mean field theory variational approximat...