1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Qinxiang Cao, Xiwei Wu
The set of integer number lists with finite length, and the set of binary trees with integer labels are both countably infinite. Many inductively defined types also have countably…