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 April 23 03:30 EDT 2024. Contains 371906 sequences. (Running on oeis4.)