Reduction strategy (lambda calculus)
Semantic Scholar uses AI to extract papers important to this topic.
This paper describes a novel strategy to enhance underwater videos and images. Built on the fusion principles, our strategy… (More)
- Electr. Notes Theor. Comput. Sci.
A strong confluence result for Q, a quantum λ-calculus with measurements, is proved. More precisely, confluence is shown to hold… (More)
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)
Light Linear Logic (LLL) and Intuitionistic Light Affine Logic (ILAL) are logics that capture polynomial time computation. It is… (More)
Lattice reduction is a hard problem of interest to both publickey cryptography and cryptanalysis. Despite its importance… (More)
1 INTRODUCTION This paper presents a way of extending the paradigm "proofs as programs" to classical proofs. The system we use is… (More)
- IEEE Transactions on Power Systems
This work presents a new approach to economic dispatch (ED) problems with nonsmooth cost functions using a particle swarm… (More)
Recent research has shown that gene expression profiles can potentially be used for predicting various clinical… (More)
- The Spin Verification System
We show in this paper that the algorithm for solving the model checking problem with a nested depth-first search can interfere… (More)
We start by giving a compact representation schema for λ-terms and show how this leads to an exceedingly small and elegant self… (More)