9 citations · 37 across the 32 of their papers we have counts for
1 paper · 2 filters
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…