Erratum: Eta-conversion for the languages of explicit substitutions

DOI10.1007/BF01235723zbMath0822.03012MaRDI QIDQ1894580

Thérèse Hardin

Publication date: 2 August 1995

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

zbMATH Keywords

confluenceeta-conversionlambda-calculus with explicit substitutions

Mathematics Subject Classification ID

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

This page was built for publication: Erratum: Eta-conversion for the languages of explicit substitutions