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… 
2012
2012
On the applicability of static modes switching in gear contact applications
Contact modeling is an active research area in the field of multibody dynamics. Despite the important research effort of the last… 
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… 
2001
2001
PRSP Processes in Eight African Countries: Initial Impacts and Potential for Institutionalization
An almost accidental by-product of the enhanced HIPC initiative, the process of producing poverty reduction strategy papers… 
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… 
1997
1997
"Classical" Programming-with-Proofs in lambdaPASym: An Analysis of Non-confluence
λ Sym PA is a natural deduction system for Peano Arithmetic that was developed in order to provide a basis for the programming… 
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)