Skip to search formSkip to main contentSkip to account menu

Normalization property (abstract rewriting)

Known as: Normalization property (lambda-calculus), Weakly normalising, Strongly normalising 
In mathematical logic and theoretical computer science, a rewrite system has the (strong) normalization property or is terminating if every term is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
Calculus of constructionsCoq (software)Induction-recursionNewman's lemma

Broader (2)

Lambda calculusLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
The Intensional Lambda Calculus
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion ? A… 
2007
2007
How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away.
Tree patterns are one of the main abstractions used to access XML data. Tree patterns are used, for instance, to define XML… 
Review
2000
Review
2000
Eigen Analysis of Networks
: We present an overview of eigen analysis methods and their applications to network analysis. We consider several network… 
2000
2000
The λse-calculus does not preserve strong normalisation
Kamareddine, F., & Ríos (1997) conjecture that the λse-calculus preserves the strong normalisation of the λ-calculus. We prove… 
1997
1997
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
Although the use of expansionary η-rewrite has become increasingly common in recent years, one area where ν-contractions have… 
1995
1995
Preservation of strong normalisation for explicit substitution
Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of Dynamic Leader Election Protocols… 
1992
1992
A useful lambda notation
Lambda Calculus is fundamental for the foundation of Logic, Mathematics, Computer and Cognitive Science. This makes it… 
Highly Cited
1990
Highly Cited
1990
Large-Scale Numerical Optimization
Papers from a workshop held at Cornell University, Oct. 1989, and sponsored by Cornell's Mathematical Sciences Institute… 
1989
1989
On the Logic of Unification
1986
1986
Spatial analysis in passive listening using adaptive techniques
The various known methods intended for continuous analysis of uncorrelated source fields (MEM-AR, Capon, Borgiotti-Lagunas… 
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)