scientific article; zbMATH DE number 2185721

MaRDI QIDQ3024914zbMATH OpenFDO

Authors Femke van Raamsdonk

Publication date 4 July 2005

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3921985
• Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system
• Outermost ground termination
• scientific article; zbMATH DE number 1761894
• scientific article; zbMATH DE number 3938563

Cited in

(3)

• Functional pearl: the distributive \(\lambda\)-calculus
• Pure pattern calculus à la de Bruijn
• On abstract normalisation beyond neededness

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3024914)