R.: De Bruijn notation as a nested datatype (1999)

by R Bird, Paterson
Venue:Journal of Functional Programming