scientific article; zbMATH DE number 515729

zbMath0796.03023MaRDI QIDQ4283231

Corrado Böhm, Alessandro Berarducci

Publication date: 9 October 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

term rewritinglambda calculusrecursive equationsfunctions with recursive calls

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items

Self-quotation in a typed, intensional lambda-calculus, More problems in rewriting, Unnamed Item, The self-reduction in lambda calculus, Programs as data structures in \(\lambda\)SF-calculus, Incorporating quotation and evaluation into Church's type theory, Unnamed Item, An algebraic view of the Böhm-out technique, Combinatory reduction systems: Introduction and survey