Eta-conversion for the languages of explicit substitutions

This publication has 6 references indexed in Scilit:

• The λ-calculus
  Published by Cambridge University Press (CUP) ,2012
• Explicit substitutions
  Published by Association for Computing Machinery (ACM) ,1990
• Confluence results for the pure strong categorical logic CCL. λ-calculi as subsystems of CCL
  Theoretical Computer Science, 1989
• Lambda calculus with namefree formulas involving symbols that represent reference transforming mappings
  Indagationes Mathematicae, 1978
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970