login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A294451 Number of simply-typed normal forms of lambda-terms of size n. 0
0, 0, 1, 1, 2, 3, 7, 11, 25, 52, 110, 241, 537, 1219, 2767, 6439, 14945, 35253, 83214 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,5

LINKS

Table of n, a(n) for n=0..18.

Maciej Bendkowski, K. Grygiel, P. Tarau, Random generation of closed simply-typed lambda-terms: a synergy between logic programming and Boltzmann samplers, arXiv preprint arXiv:1612.07682 [cs.LO], 2016-2017.

CROSSREFS

Sequence in context: A238312 A121268 A101173 * A005246 A116406 A354540

Adjacent sequences: A294448 A294449 A294450 * A294452 A294453 A294454

KEYWORD

nonn,more

AUTHOR

N. J. A. Sloane, Nov 22 2017

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified February 7 09:43 EST 2023. Contains 360115 sequences. (Running on oeis4.)