The Generating Functions of Lambda Terms
収録刊行物
-
- Proc. Combinatorics, Complexity, Logic(DMTCS '96)
-
Proc. Combinatorics, Complexity, Logic(DMTCS '96) 254-263, 1996
Springer