Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,290 papers from all fields of science
Search
Sign In
Create Free Account
Normalization property (abstract rewriting)
Known as:
Normalization property (lambda-calculus)
, Weakly normalising
, Strongly normalising
Expand
In mathematical logic and theoretical computer science, a rewrite system has the (strong) normalization property or is terminating if every term is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Calculus of constructions
Coq (software)
Induction-recursion
Newman's lemma
Expand
Broader (2)
Lambda calculus
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
The Intensional Lambda Calculus
Sergei N. Artëmov
,
E. Bonelli
Symposium on Logical Foundations of Computer…
2007
Corpus ID: 14881268
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion ? A…
Expand
2007
2007
How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away.
J. Hidders
,
Philippe Michiels
,
Jérôme Siméon
,
Roel Vercammen
2007
Corpus ID: 115461678
Tree patterns are one of the main abstractions used to access XML data. Tree patterns are used, for instance, to define XML…
Expand
Review
2000
Review
2000
Eigen Analysis of Networks
William Richards
,
A. Seary
Journal of Social Structure
2000
Corpus ID: 42951336
: We present an overview of eigen analysis methods and their applications to network analysis. We consider several network…
Expand
2000
2000
The λse-calculus does not preserve strong normalisation
Bruno Guillaume
Journal of functional programming
2000
Corpus ID: 62602617
Kamareddine, F., & Ríos (1997) conjecture that the λse-calculus preserves the strong normalisation of the λ-calculus. We prove…
Expand
1997
1997
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
Neil Ghani
International Conference on Typed Lambda Calculus…
1997
Corpus ID: 16565012
Although the use of expansionary η-rewrite has become increasingly common in recent years, one area where ν-contractions have…
Expand
1995
1995
Preservation of strong normalisation for explicit substitution
C. Bloo
1995
Corpus ID: 96479161
Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of Dynamic Leader Election Protocols…
Expand
1992
1992
A useful lambda notation
Rp Rob Nederpelt
,
F. Kamareddine
1992
Corpus ID: 4655664
Lambda Calculus is fundamental for the foundation of Logic, Mathematics, Computer and Cognitive Science. This makes it…
Expand
Highly Cited
1990
Highly Cited
1990
Large-Scale Numerical Optimization
T. Coleman
,
Yuying Li
1990
Corpus ID: 62725438
Papers from a workshop held at Cornell University, Oct. 1989, and sponsored by Cornell's Mathematical Sciences Institute…
Expand
1989
1989
On the Logic of Unification
Philippe le Chenadec
Journal of symbolic computation
1989
Corpus ID: 1789578
1986
1986
Spatial analysis in passive listening using adaptive techniques
J. Munier
,
G. Delisle
Proceedings of the IEEE
1986
Corpus ID: 23406248
The various known methods intended for continuous analysis of uncorrelated source fields (MEM-AR, Capon, Borgiotti-Lagunas…
Expand
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)
ACCEPT & CONTINUE