Eta-conversion for the languages of explicit substitutions

DOI10.1007/BF01188746zbMath0810.03010OpenAlexW4235981359MaRDI QIDQ1335136

Thérèse Hardin

Publication date: 27 September 1994

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

Full work available at URL: https://doi.org/10.1007/bf01188746

zbMATH Keywords

confluence\(\lambda\)-calculus with explicit substitutionseta-conversion

Mathematics Subject Classification ID

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

Related Items (2)

Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) ⋮ Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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