Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
