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.
2015
2015
Joint Relay Scheduling, Channel Access, and Power Allocation for Green Cognitive Radio Communications
The capacity of cognitive radio (CR) systems can be enhanced significantly by deploying relay nodes to exploit the spatial… 
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… 
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… 
Highly Cited
2004
Highly Cited
2004
Commercializing the Back Office at Lloyds of London:: Outsourcing and Strategic Partnerships Revisited
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… 
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)