9 citations · 37 across the 32 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2010
A Unified Formal Description of Arithmetic and Set Theoretical Data Types
Paul Tarau
We provide a "shared axiomatization" of natural numbers and hereditarily finite sets built around a polymorphic abstraction of bijective base-2 arithmetics. The "axiomatization" is…
cs.SC2008
Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes
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…