Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027911454> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2027911454 endingPage "31" @default.
- W2027911454 startingPage "17" @default.
- W2027911454 abstract "Storage operators are λ-terms which simulate call-by-value in call-by-name for a given set of terms. Krivine's storage operator theorem shows that any term of type ¬D → ¬D ∗ , where D ∗ is the Gödel translation of D , is a storage operator for the terms of type D when D is a data-type or a formula with only positive second order quantifiers. We prove that a new semantical version of Krivine's theorem is valid for every types. This also gives a simpler proof of Krivine's theorem using the properties of data-types." @default.
- W2027911454 created "2016-06-24" @default.
- W2027911454 creator A5037552568 @default.
- W2027911454 date "1998-01-01" @default.
- W2027911454 modified "2023-09-28" @default.
- W2027911454 title "A semantical storage operator theorem for all types" @default.
- W2027911454 cites W1543743138 @default.
- W2027911454 cites W1845742793 @default.
- W2027911454 cites W1974369881 @default.
- W2027911454 cites W1976556784 @default.
- W2027911454 cites W1987091892 @default.
- W2027911454 cites W2002293839 @default.
- W2027911454 cites W2007974484 @default.
- W2027911454 cites W2145123272 @default.
- W2027911454 cites W2154273644 @default.
- W2027911454 cites W2963573047 @default.
- W2027911454 cites W37077253 @default.
- W2027911454 doi "https://doi.org/10.1016/s0168-0072(97)00041-9" @default.
- W2027911454 hasPublicationYear "1998" @default.
- W2027911454 type Work @default.
- W2027911454 sameAs 2027911454 @default.
- W2027911454 citedByCount "2" @default.
- W2027911454 crossrefType "journal-article" @default.
- W2027911454 hasAuthorship W2027911454A5037552568 @default.
- W2027911454 hasBestOaLocation W20279114541 @default.
- W2027911454 hasConcept C104317684 @default.
- W2027911454 hasConcept C118615104 @default.
- W2027911454 hasConcept C136119220 @default.
- W2027911454 hasConcept C158448853 @default.
- W2027911454 hasConcept C17020691 @default.
- W2027911454 hasConcept C185592680 @default.
- W2027911454 hasConcept C199343813 @default.
- W2027911454 hasConcept C202444582 @default.
- W2027911454 hasConcept C2777686260 @default.
- W2027911454 hasConcept C33923547 @default.
- W2027911454 hasConcept C55493867 @default.
- W2027911454 hasConcept C71924100 @default.
- W2027911454 hasConcept C86339819 @default.
- W2027911454 hasConceptScore W2027911454C104317684 @default.
- W2027911454 hasConceptScore W2027911454C118615104 @default.
- W2027911454 hasConceptScore W2027911454C136119220 @default.
- W2027911454 hasConceptScore W2027911454C158448853 @default.
- W2027911454 hasConceptScore W2027911454C17020691 @default.
- W2027911454 hasConceptScore W2027911454C185592680 @default.
- W2027911454 hasConceptScore W2027911454C199343813 @default.
- W2027911454 hasConceptScore W2027911454C202444582 @default.
- W2027911454 hasConceptScore W2027911454C2777686260 @default.
- W2027911454 hasConceptScore W2027911454C33923547 @default.
- W2027911454 hasConceptScore W2027911454C55493867 @default.
- W2027911454 hasConceptScore W2027911454C71924100 @default.
- W2027911454 hasConceptScore W2027911454C86339819 @default.
- W2027911454 hasIssue "1" @default.
- W2027911454 hasLocation W20279114541 @default.
- W2027911454 hasOpenAccess W2027911454 @default.
- W2027911454 hasPrimaryLocation W20279114541 @default.
- W2027911454 hasRelatedWork W1557945163 @default.
- W2027911454 hasRelatedWork W1985218657 @default.
- W2027911454 hasRelatedWork W2023661790 @default.
- W2027911454 hasRelatedWork W2096753949 @default.
- W2027911454 hasRelatedWork W2742285599 @default.
- W2027911454 hasRelatedWork W2963341196 @default.
- W2027911454 hasRelatedWork W3100498169 @default.
- W2027911454 hasRelatedWork W3106133691 @default.
- W2027911454 hasRelatedWork W3124205579 @default.
- W2027911454 hasRelatedWork W4249580765 @default.
- W2027911454 hasVolume "91" @default.
- W2027911454 isParatext "false" @default.
- W2027911454 isRetracted "false" @default.
- W2027911454 magId "2027911454" @default.
- W2027911454 workType "article" @default.