Skip to search formSkip to main contentSkip to account menu

Lambda calculus

Known as: Lambda programming, Lambda expressions, Type-free lambda calculus 
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract rewriting systemActor modelAngularJSApplicative computing systems

Broader (2)

Formal methodsTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Probabilistic operational semantics for the lambda calculus
Probabilistic operational semantics for a nondeterminis- tic extension of pure λ-calculus is studied. In this semantics, a term… 
Highly Cited
2009
Highly Cited
2009
Making a Pronoun: Fake Indexicals as Windows into the Properties of Pronouns
This article argues that natural languages have two binding strategies that create two types of bound variable pronouns. Pronouns… 
Highly Cited
2008
Highly Cited
2008
Lambda-Calculus and Combinators, an Introduction: References
Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially… 
Highly Cited
2008
Highly Cited
2008
Modeling and Control of a Power-Split Hybrid Vehicle
Toyota hybrid system (THS) is used in the current best selling hybrid vehicle on the market-the Toyota Prius. This hybrid system… 
Highly Cited
2007
Highly Cited
2007
The Path to the Software-Defined Radio Receiver
After being the subject of speculation for many years, a software-defined radio receiver concept has emerged that is suitable for… 
Highly Cited
2007
Highly Cited
2007
Why work–life balance now?
In the vast literature on work-life balance one question remains seriously under-elaborated: Why now? The paper opens by… 
Highly Cited
1999
Highly Cited
1999
The Aggregate Burden of Crime
This study estimates the total annual cost of criminal behavior in the United States. While past research has typically focused… 
Highly Cited
1997
Highly Cited
1997
Aromatization of Methane over Supported and Unsupported Mo-Based Catalysts
The interaction of methane with unsupported and supported molybdenum compounds (Mo, MoO2, MoO3, Mo2C, and MoC(1−x)) has been… 
Highly Cited
1992
Highly Cited
1992
Guest editor's introduction to the special section on the third international conference on computer languages
4 communications de la 3eme conference sur les langages informatiques sont presentees. Les sujets sont les suivants: generation… 
Highly Cited
1975
Highly Cited
1975
All-MOS charge redistribution analog-to-digital conversion techniques. I
Describes a technique for performing A/D conversion compatibly with standard single-channel MOS technology. The use of a binary… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)