A. Kanda. Numeration Models of Lambda-Calculus. In Bruno Courcelle, editor, CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings. pages 155-168, Cambridge University Press, 1984.
Abstract is missing.