Matches in SemOpenAlex for { <https://semopenalex.org/work/W3025995367> ?p ?o ?g. }
- W3025995367 abstract "We survey several methods of generating large random lambda-terms, focusing on their closed and simply-typed variants. We discuss methods of exact- and approximate-size generation, as well as methods of achieving size-uniform and non-uniform outcome distributions." @default.
- W3025995367 created "2020-05-21" @default.
- W3025995367 creator A5036540043 @default.
- W3025995367 date "2020-05-18" @default.
- W3025995367 modified "2023-09-27" @default.
- W3025995367 title "How to generate random lambda terms" @default.
- W3025995367 cites W123238105 @default.
- W3025995367 cites W1611541577 @default.
- W3025995367 cites W1632601927 @default.
- W3025995367 cites W184339100 @default.
- W3025995367 cites W1972453923 @default.
- W3025995367 cites W1982202832 @default.
- W3025995367 cites W2003189478 @default.
- W3025995367 cites W2011033909 @default.
- W3025995367 cites W2021517807 @default.
- W3025995367 cites W2023605482 @default.
- W3025995367 cites W2029976661 @default.
- W3025995367 cites W2043046702 @default.
- W3025995367 cites W2056068307 @default.
- W3025995367 cites W2077836627 @default.
- W3025995367 cites W2095644835 @default.
- W3025995367 cites W2098195816 @default.
- W3025995367 cites W2109321618 @default.
- W3025995367 cites W2119717320 @default.
- W3025995367 cites W2123414912 @default.
- W3025995367 cites W2125126351 @default.
- W3025995367 cites W2158395308 @default.
- W3025995367 cites W2268442582 @default.
- W3025995367 cites W2340541605 @default.
- W3025995367 cites W2405219839 @default.
- W3025995367 cites W2415757641 @default.
- W3025995367 cites W2568721247 @default.
- W3025995367 cites W2577548871 @default.
- W3025995367 cites W2592316181 @default.
- W3025995367 cites W2753617992 @default.
- W3025995367 cites W2756198262 @default.
- W3025995367 cites W2781307561 @default.
- W3025995367 cites W2803412468 @default.
- W3025995367 cites W2930580523 @default.
- W3025995367 cites W2963427899 @default.
- W3025995367 cites W2963432045 @default.
- W3025995367 cites W2963504583 @default.
- W3025995367 cites W2963578516 @default.
- W3025995367 cites W2963632202 @default.
- W3025995367 cites W2964055800 @default.
- W3025995367 cites W2964227342 @default.
- W3025995367 cites W300201706 @default.
- W3025995367 cites W3098021658 @default.
- W3025995367 cites W3105860748 @default.
- W3025995367 cites W43882553 @default.
- W3025995367 cites W618880437 @default.
- W3025995367 hasPublicationYear "2020" @default.
- W3025995367 type Work @default.
- W3025995367 sameAs 3025995367 @default.
- W3025995367 citedByCount "0" @default.
- W3025995367 crossrefType "posted-content" @default.
- W3025995367 hasAuthorship W3025995367A5036540043 @default.
- W3025995367 hasConcept C11413529 @default.
- W3025995367 hasConcept C114614502 @default.
- W3025995367 hasConcept C121332964 @default.
- W3025995367 hasConcept C121864883 @default.
- W3025995367 hasConcept C144237770 @default.
- W3025995367 hasConcept C148220186 @default.
- W3025995367 hasConcept C2778113609 @default.
- W3025995367 hasConcept C28826006 @default.
- W3025995367 hasConcept C33923547 @default.
- W3025995367 hasConcept C41008148 @default.
- W3025995367 hasConcept C62520636 @default.
- W3025995367 hasConceptScore W3025995367C11413529 @default.
- W3025995367 hasConceptScore W3025995367C114614502 @default.
- W3025995367 hasConceptScore W3025995367C121332964 @default.
- W3025995367 hasConceptScore W3025995367C121864883 @default.
- W3025995367 hasConceptScore W3025995367C144237770 @default.
- W3025995367 hasConceptScore W3025995367C148220186 @default.
- W3025995367 hasConceptScore W3025995367C2778113609 @default.
- W3025995367 hasConceptScore W3025995367C28826006 @default.
- W3025995367 hasConceptScore W3025995367C33923547 @default.
- W3025995367 hasConceptScore W3025995367C41008148 @default.
- W3025995367 hasConceptScore W3025995367C62520636 @default.
- W3025995367 hasLocation W30259953671 @default.
- W3025995367 hasOpenAccess W3025995367 @default.
- W3025995367 hasPrimaryLocation W30259953671 @default.
- W3025995367 hasRelatedWork W1963500936 @default.
- W3025995367 hasRelatedWork W1974700165 @default.
- W3025995367 hasRelatedWork W2046666602 @default.
- W3025995367 hasRelatedWork W2047280863 @default.
- W3025995367 hasRelatedWork W2135561860 @default.
- W3025995367 hasRelatedWork W2147532723 @default.
- W3025995367 hasRelatedWork W2170607599 @default.
- W3025995367 hasRelatedWork W2292412364 @default.
- W3025995367 hasRelatedWork W2331079788 @default.
- W3025995367 hasRelatedWork W2357084110 @default.
- W3025995367 hasRelatedWork W2442149002 @default.
- W3025995367 hasRelatedWork W2755070554 @default.
- W3025995367 hasRelatedWork W2805466524 @default.
- W3025995367 hasRelatedWork W2904916042 @default.
- W3025995367 hasRelatedWork W2949603259 @default.
- W3025995367 hasRelatedWork W2964056085 @default.
- W3025995367 hasRelatedWork W2990861031 @default.
- W3025995367 hasRelatedWork W3095975698 @default.