Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100163783> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3100163783 abstract "Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects. Recently, nominal games have been proposed for modelling functional languages with names. These are ordinary, stateful games cast in the theory of nominal sets developed by Pitts and Gabbay. Here we take nominal games one step further, by developing a fully abstract semantics for a language with nominal general references." @default.
- W3100163783 created "2020-11-23" @default.
- W3100163783 creator A5041266426 @default.
- W3100163783 date "2009-09-11" @default.
- W3100163783 modified "2023-10-18" @default.
- W3100163783 title "Full abstraction for nominal general references" @default.
- W3100163783 cites W1488428340 @default.
- W3100163783 cites W1521014576 @default.
- W3100163783 cites W1553206107 @default.
- W3100163783 cites W1815958522 @default.
- W3100163783 cites W1822313387 @default.
- W3100163783 cites W1975082667 @default.
- W3100163783 cites W1977216954 @default.
- W3100163783 cites W1984260665 @default.
- W3100163783 cites W1984985219 @default.
- W3100163783 cites W1997143185 @default.
- W3100163783 cites W2005637075 @default.
- W3100163783 cites W2007270285 @default.
- W3100163783 cites W2010959827 @default.
- W3100163783 cites W2024189573 @default.
- W3100163783 cites W2024873396 @default.
- W3100163783 cites W2037984920 @default.
- W3100163783 cites W2094685149 @default.
- W3100163783 cites W2122580914 @default.
- W3100163783 cites W2125428039 @default.
- W3100163783 cites W2145101842 @default.
- W3100163783 cites W2165446401 @default.
- W3100163783 cites W2180471721 @default.
- W3100163783 cites W2606605761 @default.
- W3100163783 doi "https://doi.org/10.2168/lmcs-5(3:8)2009" @default.
- W3100163783 hasPublicationYear "2009" @default.
- W3100163783 type Work @default.
- W3100163783 sameAs 3100163783 @default.
- W3100163783 citedByCount "11" @default.
- W3100163783 countsByYear W31001637832012 @default.
- W3100163783 countsByYear W31001637832013 @default.
- W3100163783 countsByYear W31001637832014 @default.
- W3100163783 countsByYear W31001637832016 @default.
- W3100163783 countsByYear W31001637832023 @default.
- W3100163783 crossrefType "journal-article" @default.
- W3100163783 hasAuthorship W3100163783A5041266426 @default.
- W3100163783 hasBestOaLocation W31001637831 @default.
- W3100163783 hasConcept C111472728 @default.
- W3100163783 hasConcept C124304363 @default.
- W3100163783 hasConcept C138885662 @default.
- W3100163783 hasConcept C156325763 @default.
- W3100163783 hasConcept C158379750 @default.
- W3100163783 hasConcept C159985019 @default.
- W3100163783 hasConcept C184337299 @default.
- W3100163783 hasConcept C192562407 @default.
- W3100163783 hasConcept C199360897 @default.
- W3100163783 hasConcept C204323151 @default.
- W3100163783 hasConcept C207648694 @default.
- W3100163783 hasConcept C22927095 @default.
- W3100163783 hasConcept C38652104 @default.
- W3100163783 hasConcept C41008148 @default.
- W3100163783 hasConcept C80444323 @default.
- W3100163783 hasConcept C9672783 @default.
- W3100163783 hasConceptScore W3100163783C111472728 @default.
- W3100163783 hasConceptScore W3100163783C124304363 @default.
- W3100163783 hasConceptScore W3100163783C138885662 @default.
- W3100163783 hasConceptScore W3100163783C156325763 @default.
- W3100163783 hasConceptScore W3100163783C158379750 @default.
- W3100163783 hasConceptScore W3100163783C159985019 @default.
- W3100163783 hasConceptScore W3100163783C184337299 @default.
- W3100163783 hasConceptScore W3100163783C192562407 @default.
- W3100163783 hasConceptScore W3100163783C199360897 @default.
- W3100163783 hasConceptScore W3100163783C204323151 @default.
- W3100163783 hasConceptScore W3100163783C207648694 @default.
- W3100163783 hasConceptScore W3100163783C22927095 @default.
- W3100163783 hasConceptScore W3100163783C38652104 @default.
- W3100163783 hasConceptScore W3100163783C41008148 @default.
- W3100163783 hasConceptScore W3100163783C80444323 @default.
- W3100163783 hasConceptScore W3100163783C9672783 @default.
- W3100163783 hasLocation W31001637831 @default.
- W3100163783 hasLocation W31001637832 @default.
- W3100163783 hasLocation W31001637833 @default.
- W3100163783 hasOpenAccess W3100163783 @default.
- W3100163783 hasPrimaryLocation W31001637831 @default.
- W3100163783 hasRelatedWork W1422032522 @default.
- W3100163783 hasRelatedWork W1536236322 @default.
- W3100163783 hasRelatedWork W1558467648 @default.
- W3100163783 hasRelatedWork W1855927527 @default.
- W3100163783 hasRelatedWork W2035082615 @default.
- W3100163783 hasRelatedWork W2125406856 @default.
- W3100163783 hasRelatedWork W2753815840 @default.
- W3100163783 hasRelatedWork W2952052976 @default.
- W3100163783 hasRelatedWork W4238875431 @default.
- W3100163783 hasRelatedWork W783270985 @default.
- W3100163783 hasVolume "Volume 5, Issue 3" @default.
- W3100163783 isParatext "false" @default.
- W3100163783 isRetracted "false" @default.
- W3100163783 magId "3100163783" @default.
- W3100163783 workType "article" @default.