Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels (Q5210975)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7152755
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels |
scientific article; zbMATH DE number 7152755 |
Statements
17 January 2020
0 references
lambda-terms with a bounded number of De Bruijn levels
0 references
lambda-terms with a bounded De Bruijn index
0 references
0 references
0 references
0.9096071720123292
0 references
0.8551622033119202
0 references
0.8038939237594604
0 references
0.8033494353294373
0 references
0.7941293120384216
0 references
