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.
@inproceedings{Kanda84,
title = {Numeration Models of Lambda-Calculus},
author = {A. Kanda},
year = {1984},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Kanda84},
cites = {0},
citedby = {0},
pages = {155-168},
booktitle = {CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings},
editor = {Bruno Courcelle},
publisher = {Cambridge University Press},
isbn = {0-521-26750-1},
}