Confluence of the lambda calculus with left-linear algebraic rewriting

DOI10.1016/0020-0190(92)90155-OMaRDI QIDQ1197987zbMATH OpenFDO

Authors Fritz Müller

Publication date 16 January 1993

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

functional programmingconfluence\(\beta\)-reductionterm rewriting systemuntyped \(\lambda\)-calculusChurch-Rosseralgebraic rewrite systemparallel conditional

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Recommendations

• Adding algebraic rewriting to the untyped lambda calculus (extended abstract)
• Adding algebraic rewriting to the untyped lambda calculus
• On the confluence of lambda-calculus with conditional rewriting
• Confluence via strong normalisation in an algebraic \(\lambda\)-calculus with rewriting
• Foundations of Software Science and Computation Structures

Cites work

• scientific article; zbMATH DE number 4106267 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 16188 (Why is no real title available?)
• scientific article; zbMATH DE number 4124996 (Why is no real title available?)
• Adding algebraic rewriting to the untyped lambda calculus (extended abstract)
• COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS
• LCF considered as a programming language
• Operational and Semantic Equivalence Between Recursive Programs
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Tree-Manipulating Systems and Church-Rosser Theorems
• Type inference with recursive types: Syntax and semantics

Cited in

(18)

• Foundations of Software Science and Computation Structures
• Algebraic characterizations for reduction systems
• scientific article; zbMATH DE number 2044492 (Why is no real title available?)
• Combinatory reduction systems: Introduction and survey
• More problems in rewriting
• On Linear Combinations of λ-Terms
• Confluence via strong normalisation in an algebraic \(\lambda\)-calculus with rewriting
• On the confluence of lambda-calculus with conditional rewriting
• The algebraic lambda calculus
• Higher-order rewrite systems and their confluence
• Adding algebraic rewriting to the untyped lambda calculus
• scientific article; zbMATH DE number 1615235 (Why is no real title available?)
• Polymorphic rewriting conserves algebraic confluence
• Skew confluence and the lambda calculus with letrec
• Confluence of the coinductive \(\lambda\)-calculus
• Modular properties of algebraic type systems
• Problems in rewriting III
• Adding algebraic rewriting to the untyped lambda calculus (extended abstract)

This page was built for publication: Confluence of the lambda calculus with left-linear algebraic rewriting

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