Infinitary combinatory reduction systems: normalising reduction strategies

DOI10.2168/LMCS-6(1:7)2010zbMATH Open1191.68365MaRDI QIDQ3575299FDOQ3575299

Authors: Jeroen Ketema, Jakob Grue Simonsen 

Publication date: 27 July 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Recommendations

• On Normalisation of Infinitary Combinatory Reduction Systems
• Term Rewriting and Applications
• Infinitary combinatory reduction systems
• Infinitary combinatory reduction systems: confluence
• On Confluence of Infinitary Combinatory Reduction Systems

zbMATH Keywords

normal formslambda-calculusterm rewritinghigher-order computationcombinatory reduction systemsinfinite computationreduction strategies

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cited In (8)

• Infinitary combinatory reduction systems
• Term Rewriting and Applications
• Title not available (Why is that?)
• Infinitary combinatory reduction systems: confluence
• Title not available (Why is that?)
• Counterexamples in infinitary rewriting with non-fully-extended rules
• Highlights in infinitary rewriting and lambda calculus
• On Normalisation of Infinitary Combinatory Reduction Systems

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)