scientific article

zbMath0962.68084MaRDI QIDQ2703689

Horatiu Cirstea, Claude Kirchner

Publication date: 7 May 2001

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

zbMATH Keywords

term rewritinglambda-calculusrewriting calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items

Rewriting logic: Roadmap and bibliography, Uncurrying for termination and complexity, ELAN from a rewriting logic point of view