Confluence of the lambda calculus with left-linear algebraic rewriting
type: Item
instance of: scholarly article
title: Confluence of the lambda calculus with left-linear algebraic rewriting
zbMATH Open document ID: 0780.68079
DOI: 10.1016/0020-0190(92)90155-O
author: Fritz Müller
published in: Information Processing Letters
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 92067
zbMATH Keywords: functional programming
zbMATH Keywords: term rewriting system
zbMATH Keywords: confluence
zbMATH Keywords: Church-Rosser
zbMATH Keywords: parallel conditional
zbMATH Keywords: untyped \(\lambda\)-calculus
zbMATH Keywords: \(\beta\)-reduction
zbMATH Keywords: algebraic rewrite system
MaRDI profile type: Publication
cites work: COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q4205074
cites work: Type inference with recursive types: Syntax and semantics
cites work: Q3972839
cites work: Adding algebraic rewriting to the untyped lambda calculus (extended abstract)
cites work: Q3918095
cites work: LCF considered as a programming language
cites work: Operational and Semantic Equivalence Between Recursive Programs
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Q3830525
description: scientific article; zbMATH DE number 92067