Solution of a Problem of Barendregt on Sensible lambda-Theories by Benedetto Intrigila, Richard Statman

Get full text

Dynamics and cosmological evolution in $$\Lambda $$ Λ -varying cosmology by G. Papagiannopoulos, Pavlina Tsiapi, Spyros Basilakos, Andronikos Paliathanasis

Get full text

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative by Kristian Stoevring

“…We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. …”
Get full text

Asymptotically almost all \lambda-terms are strongly normalizing by René David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, Marek Zaionc

“…Surprisingly, in combinatory logic (the translation of the \lambda-calculus into combinators), the result is exactly opposite. …”
Get full text

Мероморфні функції скінченного $\lambda$-типу у півсмузі by N.B. Sokul’s’ka

Subjects: “…функцiя скiнченного $\lambda$-типу…”
Get full text

Issues on forensic diagnostics for pyrethroid lambda-cyhalothrin poisoning by Inna O. Chizhikova, Dmitry V. Gornostaev, Sergey V. Shigeev

Subjects: Get full text

Erratum to: Lambda models from Chern-Simons theories by David M. Schmidtt

Get full text

A Lambda Analogue of the Gamma Function and its Properties by K. Nantomah, I. Ege

Subjects: Get full text

Efficacy of Different Lambda-Cyhalothrin Formulations against Ticks by Ivan Pavlović, Suren Husinec, Vitomir Đokić, Marina Vukša

Subjects: “…Lambda-cyhalothrin…”
Get full text

Interferon Lambda Genetics and Biology in Regulation of Viral Control by Emily A. Hemann, Michael Gale, Ram Savan

Subjects: “…interferon lambda…”
Get full text

Human but not mouse hepatocytes respond to interferon-lambda in vivo. by Pascale Hermant, Céline Demarez, Tanel Mahlakõiv, Peter Staeheli, Philip Meuleman, Thomas Michiels

“…It is made of two subunits: IFNLR1, which is specific to IFN-lambda (IFN-λ) and IL10RB, which is shared by other cytokine receptors. …”
Get full text

Discriminating Lambda-Terms Using Clocked Boehm Trees by Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky

“…As observed by Intrigila, there are hardly techniques available in the lambda-calculus to prove that two lambda-terms are not beta-convertible. …”
Get full text

Categorical Models for a Semantically Linear Lambda-calculus by Marco Gaboardi, Mauro Piccolo

“…This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming language SlPCF. …”
Get full text

Optimal interpreters for lambda-calculus based functional languages by Kathail, Vinod

Get full text

Lambda-structure on Grothendieck groups of Hermitian vector bundles by Roessler, D

The spatial Lambda-Fleming-Viot process with fluctuating selection by Biswas, N, Etheridge, AM, Klimek, A

“…This amounts to a limit result for a LambdaFleming-Viot process in a rapidly fluctuating random environment. …”

Errors in Estimating Omega_Lambda due to the Fluid Approximation by Clifton, T, Ferreira, P

“…We show that these differences have consequences for cosmological parameter estimation, and that fitting to recent supernovae observations gives a correction to the inferred value of Omega_Lambda of ~10%.…”

On the properties of the Lambda value at risk: robustness, elicitability and consistency by Burzoni, M, Peri, I, Ruffo, C

“…A new risk measure, the Lambda value at risk (Λ V a R), has been recently proposed by Frittelli et al. …”

Topology of Xer recombination on catenanes produced by lambda integrase. by Bath, J, Sherratt, D, Colloms, S

Linear realizability and full completeness for typed lambda−calculi by Abramsky, S, Lenisa, M