@inproceedings{cd65dad55e7c4667a4951128c050ee80,
title = "De Bruijn's syntax and reductional equivalence of lambda-terms",
author = "F. Kamareddine and C.J. Bloo and R.P. Nederpelt",
year = "2001",
language = "English",
isbn = "1-58113-388-X",
pages = "16--27",
editor = "\{Nicola, De\}, R.",
booktitle = "Proceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001))",
publisher = "Association for Computing Machinery, Inc.",
address = "United States",
}