Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186576307> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2186576307 abstract "In this paper we show how to generate terms in the λ-calculus that match a given number of function argument result pairs. It appears that the number of λ-terms is too large to find terms reasonably fast based on the grammar of λ-calculus alone. By adding knowledge such as the desired number of arguments it is possible to synthesize λ-terms effectively for some interesting examples. This yields surprising terms that are unlikely to be found by a human. An interesting subproblem is the determination of suitability of candidate terms based on equivalence of terms. We used an approximation of equivalence by a finite number of reduction steps. This implies that the test for equivalence can also yield the value undefined. Fortunately the test system used is able to handle undefined test results." @default.
- W2186576307 created "2016-06-24" @default.
- W2186576307 creator A5049917627 @default.
- W2186576307 creator A5053247184 @default.
- W2186576307 date "2007-01-01" @default.
- W2186576307 modified "2023-09-27" @default.
- W2186576307 title "SYSTEMATIC SYNTHESIS OF -TERMS" @default.
- W2186576307 cites W126267692 @default.
- W2186576307 cites W2044758536 @default.
- W2186576307 cites W2139830960 @default.
- W2186576307 cites W2154273644 @default.
- W2186576307 cites W2397118052 @default.
- W2186576307 cites W2398692631 @default.
- W2186576307 cites W2401954397 @default.
- W2186576307 cites W2508159688 @default.
- W2186576307 cites W811029122 @default.
- W2186576307 hasPublicationYear "2007" @default.
- W2186576307 type Work @default.
- W2186576307 sameAs 2186576307 @default.
- W2186576307 citedByCount "1" @default.
- W2186576307 crossrefType "journal-article" @default.
- W2186576307 hasAuthorship W2186576307A5049917627 @default.
- W2186576307 hasAuthorship W2186576307A5053247184 @default.
- W2186576307 hasConcept C118615104 @default.
- W2186576307 hasConcept C136119220 @default.
- W2186576307 hasConcept C199343813 @default.
- W2186576307 hasConcept C202444582 @default.
- W2186576307 hasConcept C2777686260 @default.
- W2186576307 hasConcept C2780069185 @default.
- W2186576307 hasConcept C33923547 @default.
- W2186576307 hasConcept C41008148 @default.
- W2186576307 hasConcept C71924100 @default.
- W2186576307 hasConceptScore W2186576307C118615104 @default.
- W2186576307 hasConceptScore W2186576307C136119220 @default.
- W2186576307 hasConceptScore W2186576307C199343813 @default.
- W2186576307 hasConceptScore W2186576307C202444582 @default.
- W2186576307 hasConceptScore W2186576307C2777686260 @default.
- W2186576307 hasConceptScore W2186576307C2780069185 @default.
- W2186576307 hasConceptScore W2186576307C33923547 @default.
- W2186576307 hasConceptScore W2186576307C41008148 @default.
- W2186576307 hasConceptScore W2186576307C71924100 @default.
- W2186576307 hasLocation W21865763071 @default.
- W2186576307 hasOpenAccess W2186576307 @default.
- W2186576307 hasPrimaryLocation W21865763071 @default.
- W2186576307 hasRelatedWork W1993446841 @default.
- W2186576307 hasRelatedWork W199413454 @default.
- W2186576307 hasRelatedWork W2000878586 @default.
- W2186576307 hasRelatedWork W2014149337 @default.
- W2186576307 hasRelatedWork W2037919964 @default.
- W2186576307 hasRelatedWork W207731921 @default.
- W2186576307 hasRelatedWork W2135625884 @default.
- W2186576307 hasRelatedWork W2184726800 @default.
- W2186576307 hasRelatedWork W22119157 @default.
- W2186576307 hasRelatedWork W2489319809 @default.
- W2186576307 hasRelatedWork W2544448998 @default.
- W2186576307 hasRelatedWork W2738169846 @default.
- W2186576307 hasRelatedWork W2765234622 @default.
- W2186576307 hasRelatedWork W2922301978 @default.
- W2186576307 hasRelatedWork W3022819384 @default.
- W2186576307 hasRelatedWork W3102270073 @default.
- W2186576307 hasRelatedWork W3123164209 @default.
- W2186576307 hasRelatedWork W3159865367 @default.
- W2186576307 hasRelatedWork W74225879 @default.
- W2186576307 hasRelatedWork W2184474422 @default.
- W2186576307 isParatext "false" @default.
- W2186576307 isRetracted "false" @default.
- W2186576307 magId "2186576307" @default.
- W2186576307 workType "article" @default.