Similar Items: Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
- Infinitary Combinatory Reduction Systems: Confluence
- Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications
- Reduction Free Normalisation for a proof irrelevant type of propositions
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
- Partial Order Infinitary Term Rewriting