Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes.

Paul Tarau

Browse the full ICFP paper archive.