Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048892939> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W3048892939 abstract "In this paper we present an average-case analysis of closed lambda terms with restricted values of De Bruijn indices in the model where each occurrence of a variable contributes one to the size. Given a fixed integer k, a lambda term in which all De Bruijn indices are bounded by k has the following shape: It starts with k De Bruijn levels, forming the so-called hat of the term, to which some number of k-colored Motzkin trees are attached. By means of analytic combinatorics, we show that the size of this hat is constant on average and that the average number of De Bruijn levels of k-colored Motzkin trees of size n is asymptotically Θ(√ n). Combining these two facts, we conclude that the maximal non-empty De Bruijn level in a lambda term with restrictions on De Bruijn indices and of size n is, on average, also of order √ n. On this basis, we provide the average unary profile of such lambda terms." @default.
- W3048892939 created "2020-08-18" @default.
- W3048892939 creator A5009433530 @default.
- W3048892939 creator A5067755415 @default.
- W3048892939 date "2021-02-12" @default.
- W3048892939 modified "2023-10-18" @default.
- W3048892939 title "Unary profile of lambda terms with restricted De Bruijn indices" @default.
- W3048892939 doi "https://doi.org/10.46298/dmtcs.5836" @default.
- W3048892939 hasPublicationYear "2021" @default.
- W3048892939 type Work @default.
- W3048892939 sameAs 3048892939 @default.
- W3048892939 citedByCount "0" @default.
- W3048892939 crossrefType "journal-article" @default.
- W3048892939 hasAuthorship W3048892939A5009433530 @default.
- W3048892939 hasAuthorship W3048892939A5067755415 @default.
- W3048892939 hasBestOaLocation W30488929391 @default.
- W3048892939 hasConcept C114614502 @default.
- W3048892939 hasConcept C118615104 @default.
- W3048892939 hasConcept C120665830 @default.
- W3048892939 hasConcept C121332964 @default.
- W3048892939 hasConcept C134306372 @default.
- W3048892939 hasConcept C170320093 @default.
- W3048892939 hasConcept C20218877 @default.
- W3048892939 hasConcept C2778113609 @default.
- W3048892939 hasConcept C33923547 @default.
- W3048892939 hasConcept C34388435 @default.
- W3048892939 hasConcept C61797465 @default.
- W3048892939 hasConcept C62520636 @default.
- W3048892939 hasConcept C78023250 @default.
- W3048892939 hasConceptScore W3048892939C114614502 @default.
- W3048892939 hasConceptScore W3048892939C118615104 @default.
- W3048892939 hasConceptScore W3048892939C120665830 @default.
- W3048892939 hasConceptScore W3048892939C121332964 @default.
- W3048892939 hasConceptScore W3048892939C134306372 @default.
- W3048892939 hasConceptScore W3048892939C170320093 @default.
- W3048892939 hasConceptScore W3048892939C20218877 @default.
- W3048892939 hasConceptScore W3048892939C2778113609 @default.
- W3048892939 hasConceptScore W3048892939C33923547 @default.
- W3048892939 hasConceptScore W3048892939C34388435 @default.
- W3048892939 hasConceptScore W3048892939C61797465 @default.
- W3048892939 hasConceptScore W3048892939C62520636 @default.
- W3048892939 hasConceptScore W3048892939C78023250 @default.
- W3048892939 hasIssue "Special issues" @default.
- W3048892939 hasLocation W30488929391 @default.
- W3048892939 hasLocation W30488929392 @default.
- W3048892939 hasLocation W30488929393 @default.
- W3048892939 hasLocation W30488929394 @default.
- W3048892939 hasLocation W30488929395 @default.
- W3048892939 hasOpenAccess W3048892939 @default.
- W3048892939 hasPrimaryLocation W30488929391 @default.
- W3048892939 hasRelatedWork W1949968417 @default.
- W3048892939 hasRelatedWork W1969631064 @default.
- W3048892939 hasRelatedWork W1971297844 @default.
- W3048892939 hasRelatedWork W2012880777 @default.
- W3048892939 hasRelatedWork W2048129667 @default.
- W3048892939 hasRelatedWork W2136901208 @default.
- W3048892939 hasRelatedWork W2617996708 @default.
- W3048892939 hasRelatedWork W2752401034 @default.
- W3048892939 hasRelatedWork W4287328656 @default.
- W3048892939 hasRelatedWork W851464173 @default.
- W3048892939 hasVolume "vol. 22 no. 3, Computational..." @default.
- W3048892939 isParatext "false" @default.
- W3048892939 isRetracted "false" @default.
- W3048892939 magId "3048892939" @default.
- W3048892939 workType "article" @default.