@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",

}