N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indagationes Mathematicae, 34(5):381-392, 1972.
@article{deBruijn72,
title = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the {Church-Rosser} theorem},
author = {N. G. de Bruijn},
year = {1972},
researchr = {https://researchr.org/publication/deBruijn72},
cites = {0},
citedby = {0},
journal = {Indagationes Mathematicae},
volume = {34},
number = {5},
pages = {381-392},
}