Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem (1972)

by N Bruijn
Venue:Indag. Math