Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
De Bruijn’s Syntax and Reductional Equivalence of λ-Terms
PPDP, 2001.
@inproceedings{PPDP-2001-KamareddineBN,
author = "Fairouz Kamareddine and Roel Bloo and Rob Nederpelt",
booktitle = "{Proceedings of the Third International Conference on Principles and Practice of Declarative Programming}",
isbn = "1-58113-388-X",
pages = "16--27",
publisher = "{ACM}",
title = "{De Bruijn’s Syntax and Reductional Equivalence of λ-Terms}",
year = 2001,
}