scientific article
From MaRDI portal
Publication:2723891
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.
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: