Author: Urs Format: MarkdownItexadded pointer to the original references:
* [[Nicolaas de Bruijn]], *Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem*, Indagationes Mathematicae (Proceedings) **75** 5 (1972) 381-392 [<a href="https://doi.org/10.1016/1385-7258(72)90034-0">doi:10.1016/1385-7258(72)90034-0</a>, [pdf](http://alexandria.tue.nl/repository/freearticles/597619.pdf)]
<a href="https://ncatlab.org/nlab/revision/diff/de+Bruijn+indices/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/de+Bruijn+indices/2">v2</a>, <a href="https://ncatlab.org/nlab/show/de+Bruijn+indices">current</a>
added pointer to the original references:
Nicolaas de Bruijn, Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem, Indagationes Mathematicae (Proceedings) 75 5 (1972) 381-392 [doi:10.1016/1385-7258(72)90034-0, pdf]