Programacion funcional y lambda cálculo by Jonatan Gómez Perdomo, Wilson Castro Rojas, Alexander Cardona López

Subjects: Get full text

On Constructor Rewrite Systems and the Lambda Calculus by Ugo Dal Lago, Simone Martini

“…We prove that orthogonal constructor term rewrite systems and lambda-calculus with weak (i.e., no reduction is allowed under the scope of a lambda-abstraction) call-by-value reduction can simulate each other with a linear overhead. …”
Get full text

Intersection Types for the lambda-mu Calculus by Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro

“…We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. …”
Get full text

Descents of $\lambda$-unimodal cyclic permutations by Kassie Archer

“…We prove an identity conjectured by Adin and Roichman involving the descent set of $\lambda$-unimodal cyclic permutations. These permutations appear in the character formulas for certain representations of the symmetric group and these formulas are usually proven algebraically. …”
Get full text

A lambda calculus for real analysis by Paul Taylor

Get full text

Measurement of the magnetic moment of the [lambda]⁰ hyperon by Li, Kelvin Kui-Yat.

Get full text

Lambda Calculus Models of Programming Languages by Morris, James H.

Get full text

SCHEME: An Interpreter for Extended Lambda Calculus by Sussman, Gerald J., Steele, Guy L., Jr.

“…Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and process synchronization. …”
Get full text

Lambda-calculus models of programming languages. by Morris, James Hiram, Jr

Get full text

Interferon lambdas: The next cytokine storm by Kelly, C, Klenerman, P, Barnes, E

“…Recently, several large genome-wide association studies have identified single nucleotide polymorphisms (SNPs) linked to interferon lambda 3 (IFNλ3) that are associated with the spontaneous resolution and successful treatment of HCV infection. …”

On the lambda-parameter of the common envelope evolution by Dewi, J, Tauris, T

“…Following our earlier publication, we present the lambda-parameter of stars with masses 11 - 100 M..…”

Interferon lambdas: the next cytokine storm by Kelly, C, Klenerman, P, Barnes, E

“…Recently, several large genome-wide association studies have identified single nucleotide polymorphisms (SNPs) linked to interferon lambda 3 (IFNλ3) that are associated with the spontaneous resolution and successful treatment of HCV infection. …”

Interferon lambdas: the next cytokine storm. by Kelly, C, Klenerman, P, Barnes, E

“…Recently, several large genome-wide association studies have identified single nucleotide polymorphisms (SNPs) linked to interferon lambda 3 (IFNλ3) that are associated with the spontaneous resolution and successful treatment of HCV infection. …”

Role for IFN-lambda s in rheumatoid arthritis by Thomson, S, Kotenko, S, Foxwell, B, Udalova, I

IFN-lambda (IFN-lambda) is expressed in a tissue-dependent fashion and primarily acts on epithelial cells in vivo. by Caroline Sommereyns, Sophie Paul, Peter Staeheli, Thomas Michiels

“…The response to IFN-lambda correlated with expression of the alpha subunit of the IFN-lambda receptor (IL-28R alpha). …”
Get full text

Measurement of the branching fraction B(Lambda(0)(b) -> Lambda(+)(c)pi(-)pi(+)pi(-)) at CDF by Aaltonen, T, Alvarez Gonzalez, B, Amerio, S, Amidei, D, Anastassov, A, Annovi, A, Antos, J, Apollinari, G, Appel, J, Arisawa, T, Artikov, A, Asaadi, J, Ashmanskas, W, Auerbach, B, Aurisano, A, Azfar, F, Azzurri, P, Badgett, W, Bae, T, Barbaro-Galtieri, A, Barnes, V, Barnett, B, Barria, P, Bartos, P, Bauce, M

Observation of the Baryonic Flavor-Changing Neutral Current Decay Lambda(0)(b) -> Lambda mu(+)mu(-) by Aaltonen, T, Alvarez Gonzalez, B, Amerio, S, Amidei, D, Anastassov, A, Annovi, A, Antos, J, Apollinari, G, Appel, J, Apresyan, A, Arisawa, T, Artikov, A, Asaadi, J, Ashmanskas, W, Auerbach, B, Aurisano, A, Azfar, F, Badgett, W, Barbaro-Galtieri, A, Barnes, V, Barnett, B, Barria, P, Bartos, P, Bauce, M, Bauer, G

Measurement of the Lambda(0)(b) lifetime in Lambda(0)(b)-> J/psi Lambda(0) in p(p)over-bar collisions at root s=1.96 TeV by Abulencia, A, Adelman, J, Affolder, T, Akimoto, T, Albrow, MG, Ambrose, D, Amerio, S, Amidei, D, Anastassov, A, Anikeev, K, Annovi, A, Antos, J, Aoki, M, Apollinari, G, Arguin, J, Arisawa, T, Artikov, A, Ashmanskas, W, Attal, A, Azfar, F, Azzi-Bacchetta, P, Azzurri, P, Bacchetta, N, Badgett, W, Barbaro-Galtieri, A

Study of e(+)e(-)->Lambda(Lambda)over-bar, Lambda(Sigma)over-bar(0), Sigma(0)(Sigma)over-bar(0) using initial state radiation with BABAR by Aubert, B, Bona, M, Boutigny, D, Karyotakis, Y, Lees, J, Poireau, V, Prudent, X, Tisserand, V, Zghiche, A, Tico, J, Grauges, E, Lopez, L, Palano, A, Pappagallo, M, Eigen, G, Stugu, B, Sun, L, Abrams, G, Battaglia, M, Brown, D, Button-Shafer, J, Cahn, R, Groysman, Y, Jacobsen, R, Kadyk, J

Measurements of the properties of Lambda(c)(2595), Lambda(c)(2625), Sigma(c)(2455), and Sigma(c)(2520) baryons by Aaltonen, T, Alvarez Gonzalez, B, Amerio, S, Amidei, D, Anastassov, A, Annovi, A, Antos, J, Apollinari, G, Appel, J, Apresyan, A, Arisawa, T, Artikov, A, Asaadi, J, Ashmanskas, W, Auerbach, B, Aurisano, A, Azfar, F, Badgett, W, Barbaro-Galtieri, A, Barnes, V, Barnett, B, Barria, P, Bartos, P, Bauce, M, Bauer, G