most citedCountability of Inductive Types Formalized in the Object-Logic Level

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2021★ 1 cited

Countability of Inductive Types Formalized in the Object-Logic Level

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…