Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers.

Paul Tarau

Browse the full PPDP paper archive.