Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Enumerating lambda terms by weighted length of their de Bruijn representation |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Enumerating lambda terms by weighted length of their de Bruijn representation |
scientific article |
Statements
Enumerating lambda terms by weighted length of their de Bruijn representation (English)
0 references
21 March 2018
0 references
lambda term
0 references
asymptotic enumeration
0 references
generating function
0 references
infinitely nested radical
0 references
Boltzmann sampling
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0.9107013
0 references
0.8693386
0 references
0.8626219
0 references
0.8534867
0 references
0.83212304
0 references
0.82229894
0 references
0.81979007
0 references
