de Bruijn. Lambda calculus with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem (1972)

by N G
Venue:Proc. Koninkl. Nederl. Akademie van Wetenschappen