## Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem.(English)Zbl 0253.68007

### MSC:

 68Q45 Formal languages and automata 68W99 Algorithms in computer science 68Q25 Analysis of algorithms and problem complexity 03B40 Combinatory logic and lambda calculus

Automath