[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