Immunoglobulin light chain (IgL) rearrangements occur more frequently at Ig kappa than at Ig lambda. Previous results suggested that the unrearranged Ig kappa locus negatively regulates Ig lambda transcription and/or rearrangement. Here, we demonstrate that expression of a VJ lambda 1-joint inserted into its physiological position in the Ig lambda locus is independent of Ig kappa rearrangements...

This short note presents a new formal language, lambda dependency-based compositional semantics (lambda DCS) for representing logical forms in semantic parsing. By eliminating variables and making existential quantification implicit, lambda DCS logical forms are generally more compact than those in lambda calculus.

The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the rst-order predicate logic. In this paper we prove that the variety of lambda abstraction algebras is not congruence modular and that the lattice of lambda theories is not modular.

Isbell and Semadeni [Trans. Amer. Math. Soc. 107 (1963)] proved that every infinite-dimensional $1$-injective Banach space contains a hyperplane is $(2+\varepsilon )$-injective for $\varepsilon \gt 0$, yet not $2$-injective, rem

We consider three fluid phases meeting at a line of common contact and study the linear excesses per unit length of the contact line (the linear adsorptions Lambda(i)) of the fluid's components. In any plane perpendicular to the contact line, the locus of choices for the otherwise arbitrary location of that line that makes one of the linear adsorptions, say Lambda(2), vanish, is a rectangular h...

Immunoglobulin gene rearrangement during mammalian B cell development generally follows an ordered progression, beginning with heavy (H) chain genes and proceeding through kappa and lambda light (L) chain genes. To determine whether the predicted kappa-->lambda hierarchy was occurring in vitro, we generated Epstein-Barr virus-transformed cell lines from cultures undergoing human pre-B cell diff...

We study normalization in the simply typed lambda-mu calculus, an extension of lambda calculus with control flow operators. Using an enriched version of the Yoneda embedding, we obtain a categorical normal form function for simply typed lambda-mu terms, which gives a special kind of a call-by-name denotational semantics particularly useful for deciding equalities in the lambda-mu calculus.

‎a new approximation method for the set of common fixed points of‎ ‎nonexpansive mappings and the set of solutions of systems of‎ ‎variational inequalities is introduced and studied‎. ‎moreover‎, ‎we‎ ‎apply our main result to obtain strong convergence theorem to a‎ ‎common fixed point of a nonexpannsive mapping and solutions of ‎a ‎system of variational inequalities of an inverse strongly mono...