Matches in SemOpenAlex for { <https://semopenalex.org/work/W1533929999> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1533929999 endingPage "236" @default.
- W1533929999 startingPage "225" @default.
- W1533929999 abstract "We present a general semantic universe of call-by-value computation based on elements of game semantics, and validate its appropriateness as a semantic universe by the full abstraction result for call-by-value PCF, a generic typed programming language with call-by-value evaluation. The key idea is to consider the distinction between call-by-name and call-by-value as that of the structure of information flow, which determines the basic form of games. In this way call-by-name computation and call-by-value computation arise as two independent instances of sequential functional computation with distinct algebraic structures. We elucidate the type structures of the universe following the standard categorical framework developed in the context of domain theory. Mutual relationship between the presented category of games and the corresponding call-by-name universe is also clarified." @default.
- W1533929999 created "2016-06-24" @default.
- W1533929999 creator A5012191491 @default.
- W1533929999 creator A5054171989 @default.
- W1533929999 date "1997-01-01" @default.
- W1533929999 modified "2023-10-16" @default.
- W1533929999 title "Game theoretic analysis of call-by-value computation" @default.
- W1533929999 cites W1523525039 @default.
- W1533929999 cites W1533929999 @default.
- W1533929999 cites W1555305123 @default.
- W1533929999 cites W1598683981 @default.
- W1533929999 cites W1627058395 @default.
- W1533929999 cites W1847465957 @default.
- W1533929999 cites W1978840985 @default.
- W1533929999 cites W1996605832 @default.
- W1533929999 cites W1997143185 @default.
- W1533929999 cites W2005230371 @default.
- W1533929999 cites W2007270285 @default.
- W1533929999 cites W2025635372 @default.
- W1533929999 cites W2039112578 @default.
- W1533929999 cites W2055632964 @default.
- W1533929999 cites W2094685149 @default.
- W1533929999 cites W2137865376 @default.
- W1533929999 cites W2146255646 @default.
- W1533929999 cites W2240919031 @default.
- W1533929999 cites W2911865844 @default.
- W1533929999 cites W3169946360 @default.
- W1533929999 cites W4210478186 @default.
- W1533929999 cites W4234924236 @default.
- W1533929999 cites W4254210310 @default.
- W1533929999 cites W79336753 @default.
- W1533929999 doi "https://doi.org/10.1007/3-540-63165-8_180" @default.
- W1533929999 hasPublicationYear "1997" @default.
- W1533929999 type Work @default.
- W1533929999 sameAs 1533929999 @default.
- W1533929999 citedByCount "27" @default.
- W1533929999 countsByYear W15339299992012 @default.
- W1533929999 countsByYear W15339299992013 @default.
- W1533929999 countsByYear W15339299992014 @default.
- W1533929999 countsByYear W15339299992016 @default.
- W1533929999 countsByYear W15339299992018 @default.
- W1533929999 countsByYear W15339299992021 @default.
- W1533929999 countsByYear W15339299992023 @default.
- W1533929999 crossrefType "book-chapter" @default.
- W1533929999 hasAuthorship W1533929999A5012191491 @default.
- W1533929999 hasAuthorship W1533929999A5054171989 @default.
- W1533929999 hasConcept C121332964 @default.
- W1533929999 hasConcept C151730666 @default.
- W1533929999 hasConcept C156325763 @default.
- W1533929999 hasConcept C184337299 @default.
- W1533929999 hasConcept C199360897 @default.
- W1533929999 hasConcept C207648694 @default.
- W1533929999 hasConcept C2779343474 @default.
- W1533929999 hasConcept C41008148 @default.
- W1533929999 hasConcept C44870925 @default.
- W1533929999 hasConcept C45374587 @default.
- W1533929999 hasConcept C80444323 @default.
- W1533929999 hasConcept C84999194 @default.
- W1533929999 hasConcept C86803240 @default.
- W1533929999 hasConcept C9672783 @default.
- W1533929999 hasConceptScore W1533929999C121332964 @default.
- W1533929999 hasConceptScore W1533929999C151730666 @default.
- W1533929999 hasConceptScore W1533929999C156325763 @default.
- W1533929999 hasConceptScore W1533929999C184337299 @default.
- W1533929999 hasConceptScore W1533929999C199360897 @default.
- W1533929999 hasConceptScore W1533929999C207648694 @default.
- W1533929999 hasConceptScore W1533929999C2779343474 @default.
- W1533929999 hasConceptScore W1533929999C41008148 @default.
- W1533929999 hasConceptScore W1533929999C44870925 @default.
- W1533929999 hasConceptScore W1533929999C45374587 @default.
- W1533929999 hasConceptScore W1533929999C80444323 @default.
- W1533929999 hasConceptScore W1533929999C84999194 @default.
- W1533929999 hasConceptScore W1533929999C86803240 @default.
- W1533929999 hasConceptScore W1533929999C9672783 @default.
- W1533929999 hasLocation W15339299991 @default.
- W1533929999 hasOpenAccess W1533929999 @default.
- W1533929999 hasPrimaryLocation W15339299991 @default.
- W1533929999 hasRelatedWork W1422032522 @default.
- W1533929999 hasRelatedWork W1558467648 @default.
- W1533929999 hasRelatedWork W1822389052 @default.
- W1533929999 hasRelatedWork W1855927527 @default.
- W1533929999 hasRelatedWork W2035082615 @default.
- W1533929999 hasRelatedWork W2125406856 @default.
- W1533929999 hasRelatedWork W2623701236 @default.
- W1533929999 hasRelatedWork W2753815840 @default.
- W1533929999 hasRelatedWork W2804733059 @default.
- W1533929999 hasRelatedWork W783270985 @default.
- W1533929999 isParatext "false" @default.
- W1533929999 isRetracted "false" @default.
- W1533929999 magId "1533929999" @default.
- W1533929999 workType "book-chapter" @default.