@inbook{569208dd65214951912039444de59a74,
title = "Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem",
author = "{Bruijn, de}, N.G.",
year = "1994",
language = "English",
isbn = "0-444-89822-0",
series = "Studies in logic and the foundations of mathematics",
publisher = "North-Holland Publishing Company",
pages = "375--388",
editor = "R.P. Nederpelt and J.H. Geuvers and {de Vrijer}, R.C.",
booktitle = "Selected papers on Automath",
address = "Netherlands",
}