Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,170,321 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Beta normal form
Call-by-push-value
Church–Rosser theorem
Computer science
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Corrosion Behaviour of Nickel Coated Short Carbon Fiber Reinforced Al Metal Matrix Composites
Nithin Kumar
,
H. C. Chittappa
,
R. Kamath
,
S. Vannan
2017
Corpus ID: 170077608
This work reports a study of the corrosive characteristics of nickel coated short carbon fiber reinforced with Al metal matrix…
Expand
2011
2011
Ecological implication of market gardenning in the old Ogoja zone of Nigeria
V. Eneji
,
C. Ben
,
+4 authors
P. Oko
2011
Corpus ID: 98827206
Man’s attempt to improve his income and also supplement his food especially during dry season in the old Ogoja zone has led him…
Expand
2011
2011
Increasing Food Security by Asset Transfer Evidence of a Pro-Ultra-Poor Intervention in Bangladesh
L. Rudolph
2011
Corpus ID: 52241084
2007
2007
Entity-Based Relevance Feedback for Genomic List Answer Retrieval
Nicola Stokes
,
Yi Li
,
L. Cavedon
,
Eric Huang
,
Jiawen Rong
,
J. Zobel
Text Retrieval Conference
2007
Corpus ID: 16728984
In this paper we present a system which uses ontological resources and a gene name variation generation tool to expand concepts…
Expand
2007
2007
METEOROLOGICAL ASSIMILATION DATA INGEST SYSTEM TRANSITION PROJECT RISK REDUCTION ACTIVITY
J. McNitt
,
J. Facundo
,
James M. O'Sullivan
2007
Corpus ID: 15990252
The Meteorological Assimilation Data Ingest System (MADIS) is a data assimilation and distribution system developed by the…
Expand
2005
2005
An analysis of the Levallois reduction strategy using a design theory framework
Dennis M. Sandgathe
2005
Corpus ID: 58788029
The Levallois reduction strategy was selected from among a number of different lithic strategies available in the Middle…
Expand
Review
2005
Review
2005
BANGLADESH'S POVERTY REDUCTION STRATEGY: AN ANALYSIS FROM THE LABOUR MARKET PERSPECTIVE
M. Ahamed
,
M. Ehsan
2005
Corpus ID: 55482871
Bangladesh's experience with the preparation of a Poverty Reduction Strategy Paper (PRSP) raises some questions both about its…
Expand
Review
2002
Review
2002
Participation in poverty reduction strategy papers: a retrospective study
Swarnim Waglé
,
R. Forster
,
+5 authors
Jeff Thindwa
2002
Corpus ID: 151127139
This exercise is a compilation of three distinct but connected products: i) a synthesis of external assessments of participation…
Expand
2001
2001
The Profit Saddle : Do Unit Cost Reductions Yield Increasing or Decreasing Returns ? ( Running title : THE PROFIT SADDLE )
E. Dahan
,
V. Srinivasan
2001
Corpus ID: 14493133
When asked about the impact of unit manufacturing cost reductions on total gross profit, many managers and academics assume that…
Expand
1998
1998
Strategic elements for the reduction of rural poverty in Latin America and the Caribbean
R. Echeverría
1998
Corpus ID: 18686034
The objective of this document is to propose a menu of strategic approaches for reducing rural poverty in Latin America and the…
Expand