Expression reduction systems with patterns

DOI10.1007/S10817-007-9083-0MaRDI QIDQ2467565zbMATH OpenOpenAlexFDO

Authors Julien Forest, Delia Kesner

Publication date 22 January 2008

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-007-9083-0

zbMATH Keywords

Expression reduction systemsHigher-order rewritingPattern matching

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2043524
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Higher-order rewrite systems and their confluence
• scientific article; zbMATH DE number 4208054
• Pure patterns type systems

Cites work

• A typed pattern calculus
• Combinatory reduction systems: Introduction and survey
• scientific article; zbMATH DE number 1615230 (Why is no real title available?)
• scientific article; zbMATH DE number 1722711 (Why is no real title available?)
• scientific article; zbMATH DE number 4208054 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 2043524 (Why is no real title available?)
• scientific article; zbMATH DE number 1499112 (Why is no real title available?)
• scientific article; zbMATH DE number 2090072 (Why is no real title available?)
• Inductive-data-type systems
• Lambda calculus with patterns
• Parallel reductions in \(\lambda\)-calculus
• Pattern matching as cut elimination
• Programming Languages and Systems
• Term Rewriting and All That
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The rewriting calculus. II

Cited in

(5)

• scientific article; zbMATH DE number 4208054 (Why is no real title available?)
• scientific article; zbMATH DE number 1231495 (Why is no real title available?)
• scientific article; zbMATH DE number 1332635 (Why is no real title available?)
• scientific article; zbMATH DE number 2043524 (Why is no real title available?)
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: Expression reduction systems with patterns

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