Matches in SemOpenAlex for { <https://semopenalex.org/work/W2160667911> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2160667911 endingPage "626" @default.
- W2160667911 startingPage "602" @default.
- W2160667911 abstract "A simple calculus (the Director String Calculus-DSC) for expressing abstractions is introduced, which captures the essence of the “long reach” combinators introduced by Turner. We present abstraction rules that preserve the applicative structure of the original lambda term, and that cannot increase the number of subterms in the translation. A translated lambda term can be reduced according to the evaluation rules of DSC. If this terminates with a DSC normal form, this can be translated into a lambda term using rules presented below. We call this process of abstracting a lambda term, reducing to normal form in the space of DSC terms, and translating back to a lambda term an implementation . We show that our implementation of the lambda calculus is correct: For lambda terms with a normal form that contains no lambdas ( ground terms ), the implementation is shown to yield a lambda calculus normal form. For lambda terms whose normal forms represent functions, it is shown that the implementation yields lambda terms that are beta-convertible in zero or more steps to the normal form of the original lambda term. In this sense, our implementation involves weak reduction according to Hindley et al. [9]." @default.
- W2160667911 created "2016-06-24" @default.
- W2160667911 creator A5017429584 @default.
- W2160667911 creator A5063428723 @default.
- W2160667911 date "1988-10-01" @default.
- W2160667911 modified "2023-10-17" @default.
- W2160667911 title "Director strings as combinators" @default.
- W2160667911 cites W1981336276 @default.
- W2160667911 cites W2022572034 @default.
- W2160667911 cites W2046024168 @default.
- W2160667911 cites W2063068243 @default.
- W2160667911 cites W2072736133 @default.
- W2160667911 cites W2073612321 @default.
- W2160667911 cites W2074769340 @default.
- W2160667911 cites W2484298212 @default.
- W2160667911 cites W2568721247 @default.
- W2160667911 doi "https://doi.org/10.1145/48022.48026" @default.
- W2160667911 hasPublicationYear "1988" @default.
- W2160667911 type Work @default.
- W2160667911 sameAs 2160667911 @default.
- W2160667911 citedByCount "33" @default.
- W2160667911 countsByYear W21606679112012 @default.
- W2160667911 countsByYear W21606679112013 @default.
- W2160667911 countsByYear W21606679112016 @default.
- W2160667911 countsByYear W21606679112020 @default.
- W2160667911 crossrefType "journal-article" @default.
- W2160667911 hasAuthorship W2160667911A5017429584 @default.
- W2160667911 hasAuthorship W2160667911A5063428723 @default.
- W2160667911 hasBestOaLocation W21606679111 @default.
- W2160667911 hasConcept C111472728 @default.
- W2160667911 hasConcept C11413529 @default.
- W2160667911 hasConcept C120665830 @default.
- W2160667911 hasConcept C121332964 @default.
- W2160667911 hasConcept C124304363 @default.
- W2160667911 hasConcept C135790938 @default.
- W2160667911 hasConcept C138885662 @default.
- W2160667911 hasConcept C142156749 @default.
- W2160667911 hasConcept C199343813 @default.
- W2160667911 hasConcept C199360897 @default.
- W2160667911 hasConcept C2777686260 @default.
- W2160667911 hasConcept C2778113609 @default.
- W2160667911 hasConcept C41008148 @default.
- W2160667911 hasConcept C61237538 @default.
- W2160667911 hasConcept C61797465 @default.
- W2160667911 hasConcept C62520636 @default.
- W2160667911 hasConcept C71924100 @default.
- W2160667911 hasConcept C77736955 @default.
- W2160667911 hasConcept C79678938 @default.
- W2160667911 hasConceptScore W2160667911C111472728 @default.
- W2160667911 hasConceptScore W2160667911C11413529 @default.
- W2160667911 hasConceptScore W2160667911C120665830 @default.
- W2160667911 hasConceptScore W2160667911C121332964 @default.
- W2160667911 hasConceptScore W2160667911C124304363 @default.
- W2160667911 hasConceptScore W2160667911C135790938 @default.
- W2160667911 hasConceptScore W2160667911C138885662 @default.
- W2160667911 hasConceptScore W2160667911C142156749 @default.
- W2160667911 hasConceptScore W2160667911C199343813 @default.
- W2160667911 hasConceptScore W2160667911C199360897 @default.
- W2160667911 hasConceptScore W2160667911C2777686260 @default.
- W2160667911 hasConceptScore W2160667911C2778113609 @default.
- W2160667911 hasConceptScore W2160667911C41008148 @default.
- W2160667911 hasConceptScore W2160667911C61237538 @default.
- W2160667911 hasConceptScore W2160667911C61797465 @default.
- W2160667911 hasConceptScore W2160667911C62520636 @default.
- W2160667911 hasConceptScore W2160667911C71924100 @default.
- W2160667911 hasConceptScore W2160667911C77736955 @default.
- W2160667911 hasConceptScore W2160667911C79678938 @default.
- W2160667911 hasIssue "4" @default.
- W2160667911 hasLocation W21606679111 @default.
- W2160667911 hasOpenAccess W2160667911 @default.
- W2160667911 hasPrimaryLocation W21606679111 @default.
- W2160667911 hasRelatedWork W1482362545 @default.
- W2160667911 hasRelatedWork W1571094673 @default.
- W2160667911 hasRelatedWork W1595139175 @default.
- W2160667911 hasRelatedWork W1915655540 @default.
- W2160667911 hasRelatedWork W2114151019 @default.
- W2160667911 hasRelatedWork W2269461476 @default.
- W2160667911 hasRelatedWork W2373977992 @default.
- W2160667911 hasRelatedWork W4281982925 @default.
- W2160667911 hasRelatedWork W432199236 @default.
- W2160667911 hasRelatedWork W2785405191 @default.
- W2160667911 hasVolume "10" @default.
- W2160667911 isParatext "false" @default.
- W2160667911 isRetracted "false" @default.
- W2160667911 magId "2160667911" @default.
- W2160667911 workType "article" @default.