1 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Paul Tarau
Using specializations of unfold and fold on a generic tree data type we derive unranking and ranking functions providing natural number encodings for various Hereditarily Finite da…