Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems.

Fairouz Kamareddine Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems. 363-394 2001 11 J. Log. Comput. 3 http://dx.doi.org/10.1093/logcom/11.3.363 db/journals/logcom/logcom11.html#Kamareddine01a