scientific article; zbMATH DE number 1499112

MaRDI QIDQ4501166zbMATH OpenFDO

Authors Vincent van Oostrom, Femke van Raamsdonk

Publication date 3 September 2000

Mathematics Subject Classification ID

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

Cited in

(21)

• Higher-order rewrite systems and their confluence
• Developing developments
• 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
• Expression reduction systems with patterns
• On modularity in infinitary term rewriting
• Shallow confluence of conditional term rewriting systems
• Development closed critical pairs
• 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)
• The -calculus: syntax and types
• Relative normalization in Deterministic Residual Structures
• On interreduction of semi-complete term rewriting systems
• On the longest perpetual reductions in orthogonal expression reduction systems
• scientific article; zbMATH DE number 7809760 (Why is no real title available?)
• Minimal relative normalization in orthogonal expression reduction systems
• Sort-based confluence criteria for non-left-linear higher-order rewriting
• Impredicativity, cumulativity and product covariance in the logical framework dedukti
• On the confluence of lambda-calculus with conditional rewriting

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 Q4501166)