The On-Line Encyclopedia of Integer Sequences (OEIS)

Revision History for A260661

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

A260661

The number of distinct (up to alpha-equivalence) closed lambda calculus terms n characters long, assuming standard notational conventions.
(history; published version)

#29 by N. J. A. Sloane at Mon Jan 08 01:58:32 EST 2018

EXTENSIONS

Corrected a(10) and more terms added by Alex Nisnevich, Jun 03 2016

Discussion

Mon Jan 08

01:58

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

#28 by OEIS Server at Mon Jun 06 05:42:31 EDT 2016

LINKS

Joerg Arndt, <a href="/A260661/b260661_1.txt">Table of n, a(n) for n = 0..100</a>

#27 by Bruno Berselli at Mon Jun 06 05:42:31 EDT 2016

STATUS

reviewed

approved

Discussion

Mon Jun 06

05:42

OEIS Server: Installed new b-file as b260661.txt.  Old b-file is now b260661_1.txt.

#26 by Joerg Arndt at Mon Jun 06 05:32:28 EDT 2016

STATUS

proposed

reviewed

#25 by Joerg Arndt at Sun Jun 05 01:40:26 EDT 2016

STATUS

editing

proposed

#24 by Joerg Arndt at Sun Jun 05 01:39:50 EDT 2016

PROG

(PythonSage)

STATUS

proposed

editing

Discussion

Sun Jun 05

01:40

Joerg Arndt: No idea how to memoize with python, so made it Sage.

#23 by Joerg Arndt at Sun Jun 05 01:38:58 EDT 2016

STATUS

editing

proposed

#22 by Joerg Arndt at Sun Jun 05 01:38:50 EDT 2016

LINKS

Joerg Arndt, <a href="/A260661/b260661_1.txt">Table of n, a(n) for n = 0..99100</a>

#21 by Joerg Arndt at Sun Jun 05 01:37:21 EDT 2016

LINKS

Joerg Arndt, <a href="/A260661/b260661.txt">Table of n, a(n) for n = 0..99</a>

Discussion

Sun Jun 05

01:38

Joerg Arndt: memoization to the rescue.

#20 by Joerg Arndt at Sun Jun 05 01:35:38 EDT 2016

PROG

@CachedFunction

KEYWORD

nonn,more,changed