The On-Line Encyclopedia of Integer Sequences (OEIS)

Revision History for A065500 (Bold, blue-underlined text is an addition; faded, red-underlined text is a ~~deletion~~.)
Showing entries 1-10 | older changes

A065500

Number of distinct functions from a set with n^n elements to itself that can be defined naturally (in n) by typed lambda-calculus expressions.
(history; published version)

#16 by Charles R Greathouse IV at Thu Nov 21 13:11:37 EST 2013

MATHEMATICA

a[n_] := LCM @@ Range[n] + n - 1; a[0] = 1; Table[a[n], {n, 0, 27}] (* From _Jean-François Alcover, _, Dec 16 2011 *)

Discussion

Thu Nov 21

13:11

OEIS Server: https://oeis.org/edit/global/2066

#15 by Charles R Greathouse IV at Sat Jul 13 12:02:41 EDT 2013

LINKS

_Reinhard Zumkeller_, , <a href="/A065500/b065500.txt">Table of n, a(n) for n = 0..100</a>

Discussion

Sat Jul 13

12:02

OEIS Server: https://oeis.org/edit/global/1934

#14 by N. J. A. Sloane at Fri Feb 22 21:37:28 EST 2013

LINKS

_Reinhard Zumkeller, _, <a href="/A065500/b065500.txt">Table of n, a(n) for n = 0..100</a>

PROG

a065500 n = a003418 n + n - signum n -- _Reinhard Zumkeller, _, Sep 15 2011

Discussion

Fri Feb 22

21:37

OEIS Server: https://oeis.org/edit/global/1866

#13 by Bruno Berselli at Sat Dec 17 17:14:14 EST 2011

STATUS

reviewed

approved

#12 by Alonso del Arte at Fri Dec 16 18:55:14 EST 2011

STATUS

proposed

reviewed

#11 by Jean-François Alcover at Fri Dec 16 08:12:58 EST 2011

STATUS

editing

proposed

#10 by Jean-François Alcover at Fri Dec 16 08:12:53 EST 2011

MATHEMATICA

a[n_] := LCM @@ Range[n] + n - 1; a[0] = 1; Table[a[n], {n, 0, 27}] (* From Jean-François Alcover, Dec 16 2011 *)

STATUS

approved

editing

#9 by Bruno Berselli at Thu Sep 15 06:04:54 EDT 2011

STATUS

proposed

approved

#8 by Reinhard Zumkeller at Thu Sep 15 03:46:56 EDT 2011

STATUS

editing

proposed

#7 by Reinhard Zumkeller at Thu Sep 15 02:56:17 EDT 2011

LINKS

Reinhard Zumkeller, <a href="/A065500/a065500b065500.txt">TITLE FOR LINKTable of n, a(n) for n = 0..100</a>

STATUS

approved

editing