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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1967-2017
0204019672017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
This paper describes a novel strategy to enhance underwater videos and images. Built on the fusion principles, our strategy… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2011
2011
A strong confluence result for Q, a quantum λ-calculus with measurements, is proved. More precisely, confluence is shown to hold… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
This paper presents a new algorithm for solving a system of polynomials, in a domain of . It can be seen as an improvement of the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2007
2007
Light Linear Logic (LLL) and Intuitionistic Light Affine Logic (ILAL) are logics that capture polynomial time computation. It is… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2006
2006
Lattice reduction is a hard problem of interest to both publickey cryptography and cryptanalysis. Despite its importance… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
1 INTRODUCTION This paper presents a way of extending the paradigm "proofs as programs" to classical proofs. The system we use is… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This work presents a new approach to economic dispatch (ED) problems with nonsmooth cost functions using a particle swarm… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • table I
Is this relevant?
2004
2004
MOTIVATION Recent research has shown that gene expression profiles can potentially be used for predicting various clinical… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We show in this paper that the algorithm for solving the model checking problem with a nested depth-first search can interfere… (More)
  • figure 6
  • figure 5
  • figure 4
  • figure 3
  • figure 2
Is this relevant?
1992
1992
We start by giving a compact representation schema for λ-terms and show how this leads to an exceedingly small and elegant self… (More)
  • table 1
Is this relevant?