Erratum: Eta-conversion for the languages of explicit substitutions

DOI10.1007/BF01235723zbMATH Open0822.03012MaRDI QIDQ1894580FDOQ1894580

Authors: Thérèse Hardin 

Publication date: 2 August 1995

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

Recommendations

• Eta-conversion for the languages of explicit substitutions
• Confluence properties of weak and strong calculi of explicit substitutions
• scientific article; zbMATH DE number 2185655
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)

zbMATH Keywords

confluenceeta-conversionlambda-calculus with explicit substitutions

Mathematics Subject Classification ID

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

Cited In (2)

• Eta-conversion for the languages of explicit substitutions
• Foundations of Software Science and Computational Structures

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1894580)