Infinitary normalization
From MaRDI portal
Recommendations
Cited in
(25)- Applications of infinitary lambda calculus
- Projections for infinitary rewriting
- Highlights in infinitary rewriting and lambda calculus
- Transducer degrees: atoms, infima and suprema
- Projections for infinitary rewriting (extended version)
- scientific article; zbMATH DE number 1722703 (Why is no real title available?)
- Lifting infinite normal form definitions from term rewriting to term graph rewriting
- Vicious circles in orthogonal term rewriting systems
- On Normalisation of Infinitary Combinatory Reduction Systems
- Normalization of Infinite Terms
- Proving Infinitary Normalization
- Degrees of Undecidability in Term Rewriting
- Strong normalization of barrecursive terms without using infinite terms
- scientific article; zbMATH DE number 4124993 (Why is no real title available?)
- Coinductive foundations of infinitary rewriting and infinitary equational logic
- Transfinite reductions in orthogonal term rewriting systems
- Probabilistic rewriting: normalization, termination, and unique normal forms
- Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms
- A new coinductive confluence proof for infinitary lambda calculus
- Unique normal forms in infinitary weakly orthogonal rewriting
- Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples
- Lazy productivity via termination
- Infinitary combinatory reduction systems
- Levels of undecidability in rewriting
- Productivity of stream definitions
This page was built for publication: Infinitary normalization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3012528)
