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.
Highly Cited
2014
Highly Cited
2014
AIRCRAFT DIESEL ENGINES CONTROLLED BY FUZZY LOGIC
Normally in diesel and gasoline engines, common rail systems are employed. The key factors for correct engine power management… 
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… 
2009
2009
Solving Ellipsoid-Constrained Integer Least Squares Problems
A new method is proposed to solve an ellipsoid-constrained integer least squares (EILS) problem arising in communications. In… 
Review
2008
Review
2008
CO2 Emission Reduction in Freight Transports: How to Stimulate Environmental Friendly Behaviour?
In the European Union (EU) and in Germany the transport sector is the only sector with increasing CO2 emissions (in the EU by… 
2008
2008
TSUNAMIGENIC SOURCES IN THE INDIAN OCEAN
Based on an assessment of the repeat periods of great earthquakes from past seismicity, convergence rates and paleoseismological… 
2006
2006
IMD reduction with SLM and PTS to improve the error-probability performance of nonlinearly distorted OFDM signals
In this paper, the authors propose selective mapping (SLM) and partial transmit sequences (PTS) employing an intermodulation… 
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… 
2003
2003
Variation in reduction strategies of Dutch word-initial consonant clusters (2003)
The main goal of this thesis is to investigate between-individual and within-individual variation in consonant cluster reduction… 
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… 
1967
1967
An algorithm for generating permutations
An argorithm is described which under repeated application generates all permutations of K elements. Only the previously… 
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)