scientific article; zbMATH DE number 512772

zbMath0788.68079MaRDI QIDQ4281465

Franco Barbanera, Maribel Fernández

Publication date: 10 March 1994

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

zbMATH Keywords

\(\lambda\)-calculustype assignmentalgebraic term rewriting systems

Mathematics Subject Classification ID

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

Related Items

Variants of the basic calculus of constructions, More problems in rewriting, (Head-)normalization of typeable rewrite systems, Problems in rewriting III, Normalization results for typeable rewrite systems, Abstract data type systems, Modularity of termination and confluence in combinations of rewrite systems with λω, Modular properties of algebraic type systems, Inductive-data-type systems

Uses Software

• Miranda
• LCF