The generating functions of lambda terms (extended abstract (1997)

by Ryu Hasegawa
Venue:In Proceedings of the International Conference on Combinatorics, complexity, and logic (Auckland, 1996), Springer Series in Discrete Mathematics and Theoretical Computer Science