Skip to search formSkip to main contentSkip to account menu

Reduction strategy (lambda calculus)

Known as: Reduction strategy 
In lambda calculus, a branch of mathematical logic concerned with the formal study of functions, a reduction strategy is how a complex expression is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Beta normal formCall-by-push-valueChurch–Rosser theoremComputer science

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A System Dynamics Analysis of Investment, Technology and Policy that Affect Natural Gas Exploration and Exploitation in China
Natural gas has an increasing role in Chinese energy transformation. We present a system dynamics model of the natural gas… 
2013
2013
An Application-Specific Forecasting Algorithm for Extending WSN Lifetime
Data reduction strategy is one of the schemes employed to extend network lifetime. In this paper we present an implementation of… 
Review
2012
Review
2012
Preliminary assessment of forest structure, management and carbon stocking in Tanzania Miombo woodland
Wildfires are critical in miombo forests across the African continent causing loss of biodiversity, human properties and… 
2009
2009
Monitoring and evaluating Mozambique's poverty reduction strategy PARPA 2006-2008. A synopsis of three qualitative studies on rural and urban poverty
2008
2008
Causal Compensation for Erasures in Frame Representations
In a variety of signal processing and communications contexts, erasures occur inadvertently or can be intentionally introduced as… 
2007
2007
Entity-Based Relevance Feedback for Genomic List Answer Retrieval
In this paper we present a system which uses ontological resources and a gene name variation generation tool to expand concepts… 
2005
2005
An analysis of the Levallois reduction strategy using a design theory framework
The Levallois reduction strategy was selected from among a number of different lithic strategies available in the Middle… 
2004
2004
A gate leakage reduction strategy for sub-70 nm memory circuits
The gate oxide thickness in sub-70 nm process technologies approaches the limit where direct gate tunneling current starts to… 
Review
2002
Review
2002
Participation in poverty reduction strategy papers: a retrospective study
This exercise is a compilation of three distinct but connected products: i) a synthesis of external assessments of participation… 
1998
1998
Strategic elements for the reduction of rural poverty in Latin America and the Caribbean
The objective of this document is to propose a menu of strategic approaches for reducing rural poverty in Latin America and the…