×

zbMATH — the first resource for mathematics

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
Software:
Automath
PDF BibTeX XML Cite