[seqfan] Re: article by Paul Taurau on bijections to naturals

N. J. A. Sloane njas at research.att.com
Wed Feb 24 17:39:35 CET 2010


This looks like a really interesting article, full of sequences,
at least two of which 
(2,3,5,13,17,113,173,257,10753,... and 0,4,268,1868,4294975436,30065065932...
are not in the OEIS).

Georgi Guninski said:
>Probably this is well known:
>
>Isomorphic Data Encodings and their
>Generalization to Hylomorphisms on
>   Hereditarily Finite Data Types
>               Paul Tarau
>
>http://logic.csci.unt.edu/tarau/research/2009/fISO.pdf

Could someone who understands Haskell please submit them?

Incidentally, the article reminds me of Motzkin's famous paper:
T. S. Motzkin, Sorting numbers for cylinders and other classification numbers, in Co\
mbinatorics, Proc. Symp. Pure Math. 19, AMS, 1971, pp. 167-176.
(There is a link to it in A000262)

Neil





More information about the SeqFan mailing list