Erratum: Eta-conversion for the languages of explicit substitutions
lambda-calculus with explicit substitutions
scientific article; zbMATH DE number 780892