scientific article; zbMATH DE number 1499112

zbMath0964.68523MaRDI QIDQ4501166

Vincent van Oostrom, Femke van Raamsdonk

Publication date: 3 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Problems in rewriting III, Combinatory reduction systems with explicit substitution that preserve strong normalisation, Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract), Higher-order rewrite systems and their confluence, Developing developments, Unnamed Item, Expression reduction systems with patterns, Development closed critical pairs, On interreduction of semi-complete term rewriting systems, On modularity in infinitary term rewriting, Unnamed Item, On the confluence of lambda-calculus with conditional rewriting, On the longest perpetual reductions in orthogonal expression reduction systems, Shallow confluence of conditional term rewriting systems, Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions, Descendants and origins in term rewriting., Perpetuality and uniform normalization in orthogonal rewrite systems, Relative normalization in Deterministic Residual Structures