We present a domain-theoretic model of parametric polymorphism based on admissible per’s over a domain-theoretic model of the untyped lambda calculus. The model is shown to be a model of Abadi & Plotkin’s logic for parametricity, by the construction of an LAPL-structure as defined by the authors in [7, 5]. This construction gives formal proof of solutions to a large class of recursive domain eq...

We present a domain-theoretic model of parametric polymorphism based on admissible per’s over a domain-theoretic model of the untyped lambda calculus. The model is shown to be a model of Abadi & Plotkin’s logic for parametricity, by the construction of an LAPL-structure as defined by the authors in [7, 5]. This construction gives formal proof of solutions to a large class of recursive domain eq...

A Lie-admissible algebra gives a Lie algebra by anticommutativity. In this work we describe remarkable types of Lie-admissible algebras such as Vinberg algebras, pre-Lie algebras or Lie algebras. We compute the corresponding binary quadratic operads and study their duality. Considering Lie algebras as Lie-admissible algebras, we can define for each Lie algebra a cohomology with values in an Lie...

When uninfected mouse cell DNA is cleaved with restriction endonuclease EcoRI, a DNA fragment of 14.0 kilobases can be identified by hybridization to cloned DNA containing sarcoma specific sequences of Moloney mouse sarcoma virus (M-MSVsrc). The cellular DNA fragment contains the entire M-MSVsrc specific sequences. The 14.0-kilobase EcoRI DNA fragment was cloned in bacteriophage lambda. The seq...

Previously, we showed that intercellular uncoupling through gap junctions is an important mechanism for maintaining transmural heterogeneities of repolarization that are responsible for ventricular arrhythmias in disease states such as heart failure. However, rotational anisotropy between transmural muscle layers also may influence coupling. To determine the effect of rotational anisotropy on t...

Inspired by a recent article on Fréchet spaces of ordinary Dirichlet series $$\sum a_n n^{-s}$$ due to J. Bonet, we study topological and geometrical properties certain scales general e^{-\lambda _n s}$$ focus the space $$\lambda $$ -Dirichlet which have limit functions bounded all half planes strictly smaller than right plane $$[{{\,\mathrm{Re}\,}}>0]$$ . We develop an abstract setting pre-Fré...

Inspired by Lehmer's conjecture on the nonvanishing of Ramanujan $\tau$-function, one may ask whether an odd integer $\alpha$ can be equal to $\tau(n)$ or any coefficient a newform $f(z)$. Balakrishnan, Craig, Ono, and Tsai used theory Lucas sequences Diophantine analysis characterize non-admissible values newforms even weight $k\geq 4$. We use these methods for $2$ $3$ apply our results $L$-fu...

Lambda words are sequences obtained by encoding the differences between ordered elements of the form i + jθ, where i and j are non-negative integers and 1 < θ < 2. Lambda words are right-infinite words defined over an infinite alphabet that have connections with Sturmian words, Christoffel words, and interspersion arrays. We show that Lambda words are infinite rich words. Furthermore, any Lambd...

We introduce and study a version of Krivine’s machine which provides a precise information about how much of its argument is needed for performing a computation. This information is expressed as a term of a resource lambda-calculus introduced by the authors in a recent article; this calculus can be seen as a fragment of the differential lambda-calculus. We use this machine to show that Taylor e...

We suggest soft constraints as a mean to parametrically represent and solve “weighted” Argumentation problems: different kinds of preference levels related to arguments, e.g. a score representing a “fuzziness”, a “cost” or a probability level of each argument, can be represented by choosing different semiring algebraic structures. The novel idea is to provide a common computational and quantita...