On Normalisation of Infinitary Combinatory Reduction Systems
From MaRDI portal
(Redirected from Publication:3522017)
Recommendations
Cites work
- scientific article; zbMATH DE number 3709584 (Why is no real title available?)
- scientific article; zbMATH DE number 1332646 (Why is no real title available?)
- scientific article; zbMATH DE number 599028 (Why is no real title available?)
- scientific article; zbMATH DE number 1088031 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- Combinatory reduction systems: Introduction and survey
- Infinitary lambda calculus
- Infinitary normalization
- On Confluence of Infinitary Combinatory Reduction Systems
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Term Rewriting and Applications
- Transfinite reductions in orthogonal term rewriting systems
Cited in
(15)- Perpetuality and uniform normalization in orthogonal rewrite systems
- On abstract normalisation beyond neededness
- Minimal relative normalization in orthogonal expression reduction systems
- Term Rewriting and Applications
- Normal forms in combinatory logic
- Weak Convergence and Uniform Normalization in Infinitary Rewriting
- Normalization of Infinite Terms
- Infinitary combinatory reduction systems: confluence
- Infinitary combinatory reduction systems: normalising reduction strategies
- scientific article; zbMATH DE number 598799 (Why is no real title available?)
- Counterexamples in infinitary rewriting with non-fully-extended rules
- Highlights in infinitary rewriting and lambda calculus
- An abstract Böhm-normalization
- Comparing Böhm-Like Trees
- How to normalize the Jay
This page was built for publication: On Normalisation of Infinitary Combinatory Reduction Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522017)
