The OEIS mourns the passing of
Jim Simons
and is grateful to the Simons Foundation for its support of research in many branches of science, including the OEIS.
login
The OEIS is supported by
the many generous donors to the OEIS Foundation
.
Hints
(Greetings from
The On-Line Encyclopedia of Integer Sequences
!)
A268224
Closed simply-typed lambda terms with at most one free variable.
0
3, 10, 45, 256, 1688, 12671, 105743, 969032, 9639606
(
list
;
graph
;
refs
;
listen
;
history
;
text
;
internal format
)
OFFSET
1,1
LINKS
Table of n, a(n) for n=1..9.
P. Tarau,
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations
, arXiv preprint arXiv:1507.06944 [cs.LO], 2015.
CROSSREFS
Sequence in context:
A006220
A020026
A077002
*
A003704
A292181
A236409
Adjacent sequences:
A268221
A268222
A268223
*
A268225
A268226
A268227
KEYWORD
nonn
,
more
AUTHOR
N. J. A. Sloane
, Jan 30 2016
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 May 29 05:33 EDT 2024. Contains 372921 sequences. (Running on oeis4.)