We aim at the asymptotic enumeration of lambda-terms of a given size where the order of nesting of abstractions is bounded whereas the size is tending to infinity. This is done by means of a generating function approach and singularity analysis. The generating functions appear to be composed of nested square roots which exhibit unexpected phenomena. We derive the asymptotic number of such lambd...

Lambda lifting transforms local function deenitions in functional programming languages into global ones to facilitate their eecient implementation. When considered as a source-to-source transformation for an ML-style typed language, all published algorithms for lambda lifting break typability. We break down two representative lambda lifting algorithms into four elementary transformation steps,...

In a thermosensitive dnaZ mutant lysogenic for lambda, induction of the prophage development was provoked at the restrictive temperature. In dnaD strain, spontaneous release of lambda proceeded even at 43 degrees C, but distinct induction of the prophage development was not caused by a heat treatment. Similarly, shift up of growth temperature did not lead to induction of lambda in lysogens carr...

Experiments on 4He films reveal an attractive Casimir-like force at the bulk lambda point and in the superfluid regime. Previous work has explained the magnitude of this force at the lambda transition and deep in the superfluid region but not the substantial attractive force immediately below the lambda point. Utilizing a simple mean-field calculation renormalized by critical fluctuations we ob...

Given $-\infty< \lambda < \Lambda \infty$ , $E \subset \mathbb{R}^n$ finite, and $f\colon E \to \[\lambda,\Lambda]$ how can we extend $f$ to a $C^m(\mathbb{R}^n)$ function $F$ such that $\lambda\leq F \leq \Lambda$ $|F|\_{C^m(\mathbb{R}^n)}$ is within constant multiple of the least possible, with depending only on $m$ $n$? In this paper, provide solution problem for case ${m = 2}$. Specifically...

This paper shows (1) the undecidability of the type checking and the typability problems in the domain-free lambda calculus with negation, product, and existential types, (2) the undecidability of the typability problem in the domain-free polymorphic lambda calculus, and (3) the undecidability of the type checking and the typability problems in the domain-free lambda calculus with function and ...

Bacteriophage lambda is one of the most extensively studied organisms and has been a primary model for understanding basic modes of genetic regulation. Here, we examine the progress of lambda gene expression during phage development by ribosome profiling and, thereby, provide a very-high-resolution view of lambda gene expression. The known genes are expressed in a predictable fashion, authentic...

We investigate the synchronization transition of the modified Kuramoto model where the oscillators form a scale-free network with degree exponent lambda . An oscillator of degree k_{i} is coupled to its neighboring oscillators with asymmetric and degree-dependent coupling in the form of Jk_{i};{eta-1} . By invoking the mean-field approach, we find eight different synchronization transition beha...