scientific article

DOI10.4230/LIPIcs.FSTTCS.2014.391zbMath1360.68324MaRDI QIDQ2978530

Flávio L. C. de Moura, Mauricio Ayala-Rincón, Delia Kesner

Publication date: 25 April 2017

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

zbMATH Keywords

confluence\(\lambda\)-calculusexplicit substitutions

Mathematics Subject Classification ID

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

Related Items (2)

Unification for $$\lambda $$ -calculi Without Propagation Rules ⋮ Confluence and commutation for nominal rewriting systems with atom-variables

This page was built for publication: