Polymorphic rewriting conserves algebraic confluence

DOI10.1006/INCO.1994.1078MaRDI QIDQ1336046zbMATH OpenOpenAlexFDO

Authors Val Breazu-Tannen, Jean Gallier

Publication date 12 October 1994

Published in Information and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://repository.upenn.edu/cgi/viewcontent.cgi?article=1597&context=cis_reports

zbMATH Keywords

polymorphic lambda term rewritingalgebraic term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Publication:4205074
• Polymorphic rewriting conserves algebraic strong normalization
• Adding algebraic rewriting to the untyped lambda calculus
• Adding algebraic rewriting to the untyped lambda calculus (extended abstract)
• Confluence of the lambda calculus with left-linear algebraic rewriting

Cited in

(17)

• Modularity of confluence: A simplified proof
• Finitary PCF is not decidable
• Polymorphic rewriting conserves algebraic strong normalization
• Congruence types
• Rewriting with extensional polymorphic \(\lambda \)-calculus
• Modularity of termination and confluence in combinations of rewrite systems with \(\lambda_\omega\)
• scientific article; zbMATH DE number 4124996 (Why is no real title available?)
• On the confluence of lambda-calculus with conditional rewriting
• Normal forms in combinatory logic
• Unary PCF is decidable
• On modular properties of higher order extensional lambda calculi
• Adding algebraic rewriting to the untyped lambda calculus (extended abstract)
• On the power of simple diagrams
• Polymorphic rewrite rules: confluence, type inference, and instance validation
• Combining algebraic rewriting, extensional lambda calculi, and fixpoints
• Confluence of algebraic rewriting systems
• Combining first order algebraic rewriting systems, recursion and extensional lambda calculi

This page was built for publication: Polymorphic rewriting conserves algebraic confluence

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