Infinitary combinatory reduction systems: normalising reduction strategies
From MaRDI portal
Publication:3575299
Recommendations
Cited in
(8)- scientific article; zbMATH DE number 7168147 (Why is no real title available?)
- Infinitary combinatory reduction systems
- Highlights in infinitary rewriting and lambda calculus
- Term Rewriting and Applications
- scientific article; zbMATH DE number 7199590 (Why is no real title available?)
- On Normalisation of Infinitary Combinatory Reduction Systems
- Counterexamples in infinitary rewriting with non-fully-extended rules
- Infinitary combinatory reduction systems: confluence
This page was built for publication: Infinitary combinatory reduction systems: normalising reduction strategies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3575299)