PRODUCTION OF LAMBDA AND LAMBDA(LAMBDA)OVER-BAR CORRELATIONS IN THE HADRONIC DECAYS OF THE Z(0) by Abreu, P, Adam, W, Adye, T, Agasi, E, Aleksan, R, Alekseev, G, Algeri, A, Allen, P, Almehed, S, Alvsvaag, S, Amaldi, U, Andreazza, A, Antilogus, P, Apel, W, Apsimon, R, Arnoud, Y, Asman, B, Augustin, J, Augustinus, A, Baillon, P, Bambade, P, Barao, F, Barate, R, Barbiellini, G, Bardin, D

Measurement of the Lambda b lifetime in the exclusive decay Lambda b --> J/psi Lambda. by Abazov, V, Abbott, B, Abolins, M, Acharya, B, Adams, M, Adams, T, Aguilo, E, Ahn, S, Ahsan, M, Alexeev, G, Alkhazov, G, Alton, A, Alverson, G, Alves, G, Anastasoaie, M, Ancu, L, Andeen, T, Anderson, S, Andrieu, B, Anzelc, MS, Arnoud, Y, Arov, M, Arthaud, M, Askew, A, Asman, B

“…We have measured the Lambda b lifetime using the exclusive decay Lambda b --> J/psi Lambda, based on 1.2 fb(-1) of data collected with the D0 detector during 2002-2006. …”

Measurement of the Lambda b lifetime in the exclusive decay Lambda b --> J/psi Lambda. by Abazov, V, Abbott, B, Abolins, M, Acharya, B, Adams, M, Adams, T, Aguilo, E, Ahn, S, Ahsan, M, Alexeev, G, Alkhazov, G, Alton, A, Alverson, G, Alves, G, Anastasoaie, M, Ancu, L, Andeen, T, Anderson, S, Andrieu, B, Anzelc, MS, Arnoud, Y, Arov, M, Arthaud, M, Askew, A, Asman, B

“…We have measured the Lambda b lifetime using the exclusive decay Lambda b --> J/psi Lambda, based on 1.2 fb(-1) of data collected with the D0 detector during 2002-2006. …”

An extended type system with lambda-typed lambda-expressions by Matthias Weber

“…We present the system $\mathtt{d}$, an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. …”
Get full text

Lambda-Lambda Correlation in Relativistic Heavy Ion Collisions by Morita Kenji, Furumoto Takenori, Ohnishi Akira

Get full text

Lambda-rings / by Yau, Donald

Subjects:

Lambda(Lambda)over-bar production in two-photon interactions by Anderson, S, Kubota, Y, Lattery, M, ONeill, J, Patton, S, Poling, R, Riehle, T, Savinov, V, Smith, A, Alam, MS, Athar, S, Ling, Z, Mahmood, A, Severini, H, Timm, S, Wappler, F, Anastassov, A, Blinov, S, Duboscq, J, Fujino, D, Fulton, R, Gan, K, Hart, T, Honscheid, K, Kagan, H

Measurement of K-S(0), Lambda and (Lambda)over-bar production at HERA by Chekanov, S, Derrick, M, Magill, S, Miglioranzi, S, Musgrave, B, Nicholass, D, Repond, J, Yoshida, R, Mattingly, M, Jechow, M, Pavel, N, Molina, A, Antonelli, S, Antonioli, P, Bari, G, Basile, M, Bellagamba, L, Bindi, M, Boscherini, D, Bruni, A, Bruni, G, Cifarelli, L, Cindolo, F, Contin, A, Corradi, M

Measurement of the Lambda(b)(0) lifetime using Lambda(b)(0)->Lambda(c)(+)l(-)(nu)over-bar by Abe, F, Akimoto, H, Akopian, A, Albrow, MG, Amendolia, SR, Amidei, D, Antos, J, AnwayWiese, C, Aota, S, Apollinari, G, Asakawa, T, Ashmanskas, W, Atac, M, Azfar, F, AzziBacchetta, P, Bacchetta, N, Badgett, W, Bagdasarov, S, Bailey, M, Bao, J, deBarbaro, P, BarbaroGaltieri, A, Barnes, V, Barnett, B, Barzi, E

The dagger lambda calculus by Philip Atzemoglou

“…We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. …”
Get full text

The Safe Lambda Calculus by William Blum, C. -H. Luke Ong

“…In this paper, we introduce the safe lambda calculus, which is obtained by transposing (and generalizing) the safety condition to the setting of the simply-typed lambda calculus. …”
Get full text

Ellipses and Lambda Definability by Mayer Goldberg

Get full text

Lambda: The Ultimate Imperative by Steele, Guy Lewis, Jr., Sussman, Gerald Jay

“…The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. …”
Get full text

LAMBDA: The Ultimate Declarative by Steele, Guy Lewis, Jr.

“…In this paper, a sequel to "LAMBDA: The U ltimate Imperative", a new view of LAMBDA as a renaming operator is presented and contrasted with the usual functional view taken by L ISP. …”
Get full text

The Safe Lambda Calculus by Blum, W, Ong, C

“…In this paper, we introduce the safe lambda calculus, which is obtained by transposing (and generalizing) the safety condition to the setting of the simply-typed lambda calculus. …”

The safe lambda calculus by Blum, W

“…We transpose and generalize this restriction to the setting of the simply-typed lambda calculus, giving rise to what we call the safe lambda calculus. …”

The segregated lambda-coalescent by Freeman, N

On the Spaces of $\lambda _{r}$-almost Convergent and $\lambda _{r}$-almost Bounded Sequences by Sinan Ercan

“…The aim of the present work is to introduce the concept of $\lambda _{r}$-almost convergence of sequences. We define the spaces $f\left( \lambda _{r}\right) $ and $f_{0}\left( \lambda _{r}\right) $ of $ \lambda _{r}$-almost convergent and $\lambda _{r}$-almost null sequences. …”
Get full text

Lambda and (Lambda)over-bar polarization from deep in elastic muon scattering by Adams, MR, Aderholz, M, Aid, S, Anthony, P, Ashery, D, Averill, D, Baker, MD, Baller, B, Banerjee, A, Bhatti, A, Bratzler, U, Braun, H, Carroll, T, Clark, H, Conrad, J, Davisson, R, Derado, I, Dietrich, F, Dougherty, W, Dreyer, T, Eckardt, V, Ecker, U, Erdmann, M, Fang, G, Figiel, J

Measurement of the Lambda0b lifetime in the decay lambda0b--> J/psiLambda0 with the D0 detector. by Abazov, V, Abbott, B, Abolins, M, Acharya, B, Adams, M, Adams, T, Agelou, M, Agram, J, Ahn, S, Ahsan, M, Alexeev, G, Alkhazov, G, Alton, A, Alverson, G, Alves, G, Anastasoaie, M, Anderson, S, Andrieu, B, Arnoud, Y, Askew, A, Asman, B, Atramentov, O, Autermann, C, Avila, C, Badaud, F

“…We present measurements of the Lambda(0)(b) lifetime in the exclusive decay channel Lambda(0)(b)--> J/psiLambda(0), with J/psi--> mu(+)mu(-) and Lambda(0)--> ppi(-), the B0 lifetime in the decay B0-->J/psiK(0)(S) with J/psi--> mu(+)mu(-) and K(0)(S)-->pi(+)pi(-), and the ratio of these lifetimes. …”