scientific article

zbMath0964.68520MaRDI QIDQ2723891

Alejandro Ríos, Delia Kesner, Eduardo Bonelli

Publication date: 8 July 2001

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

zbMATH Keywords

\(\lambda\)-calculusterm rewriting

Mathematics Subject Classification ID

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

Related Items (3)

On explicit substitution with names ⋮ Expression reduction systems with patterns ⋮ Normalisation for higher-order calculi with explicit substitutions

This page was built for publication: