Erratum: Eta-conversion for the languages of explicit substitutions
type: Item
instance of: scholarly article
title: Erratum: Eta-conversion for the languages of explicit substitutions
zbMATH Open document ID: 0822.03012
DOI: 10.1007/BF01235723
author: Thérèse Hardin
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 1995-08-02T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 780892
zbMATH Keywords: eta-conversion
zbMATH Keywords: confluence
zbMATH Keywords: lambda-calculus with explicit substitutions
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 780892