Matches in SemOpenAlex for { <https://semopenalex.org/work/W267417> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W267417 endingPage "224" @default.
- W267417 startingPage "219" @default.
- W267417 abstract "This paper reports preliminary work on the semantics of the continuation transform. Previous work on the semantics of continuations has concentrated on untyped lambda-calculi and has used primarily the mechanism of inclusive predicates. Such predicates are easy to understand on atomic values, but they become obscure on functional values. In the case of the typed lambda-calculus, we show that such predicates can be replaced by retractions. The main theorem states that the meaning of a closed term is a retraction of the meaning of the corresponding continuationized term." @default.
- W267417 created "2016-06-24" @default.
- W267417 creator A5031215251 @default.
- W267417 creator A5043105322 @default.
- W267417 date "1985-01-01" @default.
- W267417 modified "2023-10-18" @default.
- W267417 title "Continuation semantics in typed lambda-calculi" @default.
- W267417 cites W1976711789 @default.
- W267417 cites W1978856319 @default.
- W267417 cites W1995277422 @default.
- W267417 cites W2011001069 @default.
- W267417 cites W2088735483 @default.
- W267417 cites W3023216518 @default.
- W267417 cites W4250738323 @default.
- W267417 doi "https://doi.org/10.1007/3-540-15648-8_17" @default.
- W267417 hasPublicationYear "1985" @default.
- W267417 type Work @default.
- W267417 sameAs 267417 @default.
- W267417 citedByCount "62" @default.
- W267417 countsByYear W2674172012 @default.
- W267417 countsByYear W2674172013 @default.
- W267417 countsByYear W2674172015 @default.
- W267417 countsByYear W2674172016 @default.
- W267417 countsByYear W2674172017 @default.
- W267417 countsByYear W2674172021 @default.
- W267417 crossrefType "book-chapter" @default.
- W267417 hasAuthorship W267417A5031215251 @default.
- W267417 hasAuthorship W267417A5043105322 @default.
- W267417 hasConcept C111472728 @default.
- W267417 hasConcept C120665830 @default.
- W267417 hasConcept C121332964 @default.
- W267417 hasConcept C135790938 @default.
- W267417 hasConcept C136119220 @default.
- W267417 hasConcept C138885662 @default.
- W267417 hasConcept C142156749 @default.
- W267417 hasConcept C156325763 @default.
- W267417 hasConcept C184337299 @default.
- W267417 hasConcept C199343813 @default.
- W267417 hasConcept C199360897 @default.
- W267417 hasConcept C202444582 @default.
- W267417 hasConcept C2777686260 @default.
- W267417 hasConcept C2778113609 @default.
- W267417 hasConcept C2780876879 @default.
- W267417 hasConcept C33923547 @default.
- W267417 hasConcept C41008148 @default.
- W267417 hasConcept C61237538 @default.
- W267417 hasConcept C61797465 @default.
- W267417 hasConcept C62520636 @default.
- W267417 hasConcept C71924100 @default.
- W267417 hasConcept C77736955 @default.
- W267417 hasConcept C88626702 @default.
- W267417 hasConceptScore W267417C111472728 @default.
- W267417 hasConceptScore W267417C120665830 @default.
- W267417 hasConceptScore W267417C121332964 @default.
- W267417 hasConceptScore W267417C135790938 @default.
- W267417 hasConceptScore W267417C136119220 @default.
- W267417 hasConceptScore W267417C138885662 @default.
- W267417 hasConceptScore W267417C142156749 @default.
- W267417 hasConceptScore W267417C156325763 @default.
- W267417 hasConceptScore W267417C184337299 @default.
- W267417 hasConceptScore W267417C199343813 @default.
- W267417 hasConceptScore W267417C199360897 @default.
- W267417 hasConceptScore W267417C202444582 @default.
- W267417 hasConceptScore W267417C2777686260 @default.
- W267417 hasConceptScore W267417C2778113609 @default.
- W267417 hasConceptScore W267417C2780876879 @default.
- W267417 hasConceptScore W267417C33923547 @default.
- W267417 hasConceptScore W267417C41008148 @default.
- W267417 hasConceptScore W267417C61237538 @default.
- W267417 hasConceptScore W267417C61797465 @default.
- W267417 hasConceptScore W267417C62520636 @default.
- W267417 hasConceptScore W267417C71924100 @default.
- W267417 hasConceptScore W267417C77736955 @default.
- W267417 hasConceptScore W267417C88626702 @default.
- W267417 hasLocation W2674171 @default.
- W267417 hasOpenAccess W267417 @default.
- W267417 hasPrimaryLocation W2674171 @default.
- W267417 hasRelatedWork W1595139175 @default.
- W267417 hasRelatedWork W2012491527 @default.
- W267417 hasRelatedWork W2062838731 @default.
- W267417 hasRelatedWork W2114151019 @default.
- W267417 hasRelatedWork W2269461476 @default.
- W267417 hasRelatedWork W2373977992 @default.
- W267417 hasRelatedWork W2754782259 @default.
- W267417 hasRelatedWork W2958677436 @default.
- W267417 hasRelatedWork W4281982925 @default.
- W267417 hasRelatedWork W2785405191 @default.
- W267417 isParatext "false" @default.
- W267417 isRetracted "false" @default.
- W267417 magId "267417" @default.
- W267417 workType "book-chapter" @default.