Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301425912> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4301425912 abstract "We present a quantitative, statistical analysis of random lambda terms in the de Bruijn notation. Following an analytic approach using multivariate generating functions, we investigate the distribution of various combinatorial parameters of random open and closed lambda terms, including the number of redexes, head abstractions, free variables or the de Bruijn index value profile. Moreover, we conduct an average-case complexity analysis of finding the leftmost-outermost redex in random lambda terms showing that it is on average constant. The main technical ingredient of our analysis is a novel method of dealing with combinatorial parameters inside certain infinite, algebraic systems of multivariate generating functions. Finally, we briefly discuss the random generation of lambda terms following a given skewed parameter distribution and provide empirical results regarding a series of more involved combinatorial parameters such as the number of open subterms and binding abstractions in closed lambda terms." @default.
- W4301425912 created "2022-10-05" @default.
- W4301425912 creator A5021750107 @default.
- W4301425912 creator A5032980726 @default.
- W4301425912 creator A5036540043 @default.
- W4301425912 date "2018-05-23" @default.
- W4301425912 modified "2023-10-07" @default.
- W4301425912 title "Statistical properties of lambda terms" @default.
- W4301425912 doi "https://doi.org/10.48550/arxiv.1805.09419" @default.
- W4301425912 hasPublicationYear "2018" @default.
- W4301425912 type Work @default.
- W4301425912 citedByCount "0" @default.
- W4301425912 crossrefType "posted-content" @default.
- W4301425912 hasAuthorship W4301425912A5021750107 @default.
- W4301425912 hasAuthorship W4301425912A5032980726 @default.
- W4301425912 hasAuthorship W4301425912A5036540043 @default.
- W4301425912 hasBestOaLocation W43014259121 @default.
- W4301425912 hasConcept C110121322 @default.
- W4301425912 hasConcept C114614502 @default.
- W4301425912 hasConcept C118615104 @default.
- W4301425912 hasConcept C120665830 @default.
- W4301425912 hasConcept C121332964 @default.
- W4301425912 hasConcept C134306372 @default.
- W4301425912 hasConcept C143724316 @default.
- W4301425912 hasConcept C151730666 @default.
- W4301425912 hasConcept C170320093 @default.
- W4301425912 hasConcept C2778113609 @default.
- W4301425912 hasConcept C33923547 @default.
- W4301425912 hasConcept C41008148 @default.
- W4301425912 hasConcept C45357846 @default.
- W4301425912 hasConcept C86803240 @default.
- W4301425912 hasConcept C9376300 @default.
- W4301425912 hasConcept C94375191 @default.
- W4301425912 hasConceptScore W4301425912C110121322 @default.
- W4301425912 hasConceptScore W4301425912C114614502 @default.
- W4301425912 hasConceptScore W4301425912C118615104 @default.
- W4301425912 hasConceptScore W4301425912C120665830 @default.
- W4301425912 hasConceptScore W4301425912C121332964 @default.
- W4301425912 hasConceptScore W4301425912C134306372 @default.
- W4301425912 hasConceptScore W4301425912C143724316 @default.
- W4301425912 hasConceptScore W4301425912C151730666 @default.
- W4301425912 hasConceptScore W4301425912C170320093 @default.
- W4301425912 hasConceptScore W4301425912C2778113609 @default.
- W4301425912 hasConceptScore W4301425912C33923547 @default.
- W4301425912 hasConceptScore W4301425912C41008148 @default.
- W4301425912 hasConceptScore W4301425912C45357846 @default.
- W4301425912 hasConceptScore W4301425912C86803240 @default.
- W4301425912 hasConceptScore W4301425912C9376300 @default.
- W4301425912 hasConceptScore W4301425912C94375191 @default.
- W4301425912 hasLocation W43014259121 @default.
- W4301425912 hasLocation W43014259122 @default.
- W4301425912 hasLocation W43014259123 @default.
- W4301425912 hasOpenAccess W4301425912 @default.
- W4301425912 hasPrimaryLocation W43014259121 @default.
- W4301425912 hasRelatedWork W1650584150 @default.
- W4301425912 hasRelatedWork W1949968417 @default.
- W4301425912 hasRelatedWork W1978042415 @default.
- W4301425912 hasRelatedWork W2136901208 @default.
- W4301425912 hasRelatedWork W2408357466 @default.
- W4301425912 hasRelatedWork W2803412468 @default.
- W4301425912 hasRelatedWork W2952539738 @default.
- W4301425912 hasRelatedWork W2964090917 @default.
- W4301425912 hasRelatedWork W3086542228 @default.
- W4301425912 hasRelatedWork W4292734940 @default.
- W4301425912 isParatext "false" @default.
- W4301425912 isRetracted "false" @default.
- W4301425912 workType "article" @default.