De Bruijn notation as a nested datatype. Journal of functional programming (1998)

by Richard Bird
Venue:University of Technology