Matches in SemOpenAlex for { <https://semopenalex.org/work/W2520382145> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2520382145 endingPage "277" @default.
- W2520382145 startingPage "255" @default.
- W2520382145 abstract "The paper treats the problems of discriminability and separability for a wide class of infinite sets of terms in the pure lambda calculus. The technique used is a generalization of the Bohm out technique for extracting substitutional instances from the sets of terms. A unification of this technique on an appropriate class of terms enables the construction of an algorithm of extraction which leads to the construction of a discriminator for an infinite set of terms having the distinctive paths. In [11] some conditions under which a r.e. set of terms is a numeral system were done. For the opposite direction, i.e. construction of the distinctive paths for the discriminable or separable set of terms, we used the sequentiality and continuity theorem with a combination of a slight generalization of the Wadsworth's version of the lambda calculus (cf. [8]). The connection between the semantic notion of discriminability and the syntactic notion of distinctiveness, as known in the case of finite sets of terms, is extended here to the class of terms on which the (generalized) Bohm out technique can be applied." @default.
- W2520382145 created "2016-09-23" @default.
- W2520382145 creator A5041982258 @default.
- W2520382145 date "2015-12-30" @default.
- W2520382145 modified "2023-09-26" @default.
- W2520382145 title "Discriminators in Lambda Calculus" @default.
- W2520382145 hasPublicationYear "2015" @default.
- W2520382145 type Work @default.
- W2520382145 sameAs 2520382145 @default.
- W2520382145 citedByCount "0" @default.
- W2520382145 crossrefType "proceedings-article" @default.
- W2520382145 hasAuthorship W2520382145A5041982258 @default.
- W2520382145 hasConcept C11413529 @default.
- W2520382145 hasConcept C118615104 @default.
- W2520382145 hasConcept C118930307 @default.
- W2520382145 hasConcept C13355873 @default.
- W2520382145 hasConcept C134306372 @default.
- W2520382145 hasConcept C135790938 @default.
- W2520382145 hasConcept C136119220 @default.
- W2520382145 hasConcept C142156749 @default.
- W2520382145 hasConcept C154945302 @default.
- W2520382145 hasConcept C177148314 @default.
- W2520382145 hasConcept C177264268 @default.
- W2520382145 hasConcept C199343813 @default.
- W2520382145 hasConcept C199360897 @default.
- W2520382145 hasConcept C202444582 @default.
- W2520382145 hasConcept C2524010 @default.
- W2520382145 hasConcept C2777212361 @default.
- W2520382145 hasConcept C2777686260 @default.
- W2520382145 hasConcept C33923547 @default.
- W2520382145 hasConcept C41008148 @default.
- W2520382145 hasConcept C61237538 @default.
- W2520382145 hasConcept C71924100 @default.
- W2520382145 hasConcept C77736955 @default.
- W2520382145 hasConcept C96146094 @default.
- W2520382145 hasConceptScore W2520382145C11413529 @default.
- W2520382145 hasConceptScore W2520382145C118615104 @default.
- W2520382145 hasConceptScore W2520382145C118930307 @default.
- W2520382145 hasConceptScore W2520382145C13355873 @default.
- W2520382145 hasConceptScore W2520382145C134306372 @default.
- W2520382145 hasConceptScore W2520382145C135790938 @default.
- W2520382145 hasConceptScore W2520382145C136119220 @default.
- W2520382145 hasConceptScore W2520382145C142156749 @default.
- W2520382145 hasConceptScore W2520382145C154945302 @default.
- W2520382145 hasConceptScore W2520382145C177148314 @default.
- W2520382145 hasConceptScore W2520382145C177264268 @default.
- W2520382145 hasConceptScore W2520382145C199343813 @default.
- W2520382145 hasConceptScore W2520382145C199360897 @default.
- W2520382145 hasConceptScore W2520382145C202444582 @default.
- W2520382145 hasConceptScore W2520382145C2524010 @default.
- W2520382145 hasConceptScore W2520382145C2777212361 @default.
- W2520382145 hasConceptScore W2520382145C2777686260 @default.
- W2520382145 hasConceptScore W2520382145C33923547 @default.
- W2520382145 hasConceptScore W2520382145C41008148 @default.
- W2520382145 hasConceptScore W2520382145C61237538 @default.
- W2520382145 hasConceptScore W2520382145C71924100 @default.
- W2520382145 hasConceptScore W2520382145C77736955 @default.
- W2520382145 hasConceptScore W2520382145C96146094 @default.
- W2520382145 hasIssue "4" @default.
- W2520382145 hasLocation W25203821451 @default.
- W2520382145 hasOpenAccess W2520382145 @default.
- W2520382145 hasPrimaryLocation W25203821451 @default.
- W2520382145 hasRelatedWork W1483158221 @default.
- W2520382145 hasRelatedWork W1500404627 @default.
- W2520382145 hasRelatedWork W1546532908 @default.
- W2520382145 hasRelatedWork W1552838787 @default.
- W2520382145 hasRelatedWork W1853037377 @default.
- W2520382145 hasRelatedWork W1996441035 @default.
- W2520382145 hasRelatedWork W2001195152 @default.
- W2520382145 hasRelatedWork W2007281617 @default.
- W2520382145 hasRelatedWork W2030367998 @default.
- W2520382145 hasRelatedWork W2098464720 @default.
- W2520382145 hasRelatedWork W2152261259 @default.
- W2520382145 hasRelatedWork W2169642024 @default.
- W2520382145 hasRelatedWork W2242901838 @default.
- W2520382145 hasRelatedWork W2522792075 @default.
- W2520382145 hasRelatedWork W2625685211 @default.
- W2520382145 hasRelatedWork W2962969097 @default.
- W2520382145 hasRelatedWork W3099155063 @default.
- W2520382145 hasRelatedWork W3099220472 @default.
- W2520382145 hasRelatedWork W3101920964 @default.
- W2520382145 hasRelatedWork W778137943 @default.
- W2520382145 hasVolume "3" @default.
- W2520382145 isParatext "false" @default.
- W2520382145 isRetracted "false" @default.
- W2520382145 magId "2520382145" @default.
- W2520382145 workType "article" @default.