Context rewriting

DOI10.1007/3-540-56393-8_2MaRDI QIDQ5881173zbMATH OpenOpenAlexFDO

Authors Stefan Michael Kahrs

Publication date 9 March 2023

Published in Conditional Term Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56393-8_2

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Enriched categories (over closed or monoidal categories) (18D20) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 3921957
• Implementing contextual rewriting
• Publication:3028332
• Context-sensitive rewriting strategies
• Subterm contextual rewriting
• Constraint contextual rewriting.
• From Outermost to Context-Sensitive Rewriting
• scientific article; zbMATH DE number 794241
• Transforming Outermost into Context-Sensitive Rewriting
• Transformation techniques for context-sensitive rewrite systems

Cites work

• A logic programming language with lambda-abstraction, function variables, and simple unification
• An Abstract form of the church-rosser theorem. I
• An abstract formulation for rewrite systems
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Higher-order unification revisited: Complete sets of transformations
• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 4090779 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 51605 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• On the Church-Rosser property for the direct sum of term rewriting systems
• Sequential evaluation strategies for parallel-or and related reduction systems
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(12)

• Scattered versus context-sensitive rewriting
• Developing developments
• Rewriting
• Transforming Outermost into Context-Sensitive Rewriting
• scientific article; zbMATH DE number 4050972 (Why is no real title available?)
• scientific article; zbMATH DE number 4100621 (Why is no real title available?)
• scientific article; zbMATH DE number 1231542 (Why is no real title available?)
• scientific article; zbMATH DE number 1231655 (Why is no real title available?)
• Term context
• On equal -terms
• A typed context calculus
• Viewing \({\lambda}\)-terms through maps

This page was built for publication: Context rewriting

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