Five axioms of alpha-conversion

This publication has 10 references indexed in Scilit:

• Pure type systems formalized
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Implementing FS0 in Isabelle: Adding structure at the metalevel
  Published by Springer Nature ,1996
• Higher-Order Abstract Syntax with induction in Coq
  Published by Springer Nature ,1994
• A mechanisation of name-carrying syntax up to alpha-conversion
  Published by Springer Nature ,1994
• A theory of binding structures and applications to rewriting
  Theoretical Computer Science, 1993
• Substitution revisited
  Theoretical Computer Science, 1988
• Higher-order abstract syntax
  Published by Association for Computing Machinery (ACM) ,1988
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964