Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106143913> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2106143913 endingPage "40" @default.
- W2106143913 startingPage "1" @default.
- W2106143913 abstract "In (hyper)coherence semantics, proofs/terms are cliques in (hyper)graphs. Intuitively, the vertices represent the results of computations and the edge relation witnesses the ability to carry out the computation assembled into a single piece of data or a single (strongly) stable function, at arrow types. In (hyper)coherence semantics, the argument of a (strongly) stable functional is always a (strongly) stable function. As a consequence, compared to the relational semantics where there is no edge relation, some vertices are missing. Recovering these vertices is essential if we are to reconstruct proofs/terms from their interpretations. It will also be useful for comparing with other semantics, such as game semantics. Bucciarelli and Ehrhard (2001) introduced a non-uniform coherence space semantics , where no vertex is missing. By constructing the co-free exponential, we get a new version of this semantics, together with non-uniform versions of hypercoherences and multicoherences. This provides a new semantics in which an edge is a finite multiset. Thanks to the co-free construction, these non-uniform semantics are deterministic in the sense that the intersection of a clique and an anti-clique contains at most one vertex, which is a result of interaction, and they then extensionally collapse onto the corresponding uniform semantics." @default.
- W2106143913 created "2016-06-24" @default.
- W2106143913 creator A5008756795 @default.
- W2106143913 date "2010-11-01" @default.
- W2106143913 modified "2023-09-25" @default.
- W2106143913 title "Non-uniform (hyper/multi)coherence spaces" @default.
- W2106143913 cites W1543512820 @default.
- W2106143913 cites W1547926009 @default.
- W2106143913 cites W1590371658 @default.
- W2106143913 cites W1963626918 @default.
- W2106143913 cites W1965630431 @default.
- W2106143913 cites W1978840985 @default.
- W2106143913 cites W1979035026 @default.
- W2106143913 cites W1981700077 @default.
- W2106143913 cites W1985955425 @default.
- W2106143913 cites W2012319728 @default.
- W2106143913 cites W2016951437 @default.
- W2106143913 cites W2029659108 @default.
- W2106143913 cites W2038883640 @default.
- W2106143913 cites W2057795646 @default.
- W2106143913 cites W2079412176 @default.
- W2106143913 cites W2145617779 @default.
- W2106143913 cites W2911865844 @default.
- W2106143913 cites W2911874855 @default.
- W2106143913 cites W4299453112 @default.
- W2106143913 doi "https://doi.org/10.1017/s0960129510000320" @default.
- W2106143913 hasPublicationYear "2010" @default.
- W2106143913 type Work @default.
- W2106143913 sameAs 2106143913 @default.
- W2106143913 citedByCount "9" @default.
- W2106143913 countsByYear W21061439132012 @default.
- W2106143913 countsByYear W21061439132015 @default.
- W2106143913 countsByYear W21061439132017 @default.
- W2106143913 countsByYear W21061439132020 @default.
- W2106143913 countsByYear W21061439132021 @default.
- W2106143913 countsByYear W21061439132023 @default.
- W2106143913 crossrefType "journal-article" @default.
- W2106143913 hasAuthorship W2106143913A5008756795 @default.
- W2106143913 hasBestOaLocation W21061439132 @default.
- W2106143913 hasConcept C102993220 @default.
- W2106143913 hasConcept C118615104 @default.
- W2106143913 hasConcept C132525143 @default.
- W2106143913 hasConcept C156325763 @default.
- W2106143913 hasConcept C160131679 @default.
- W2106143913 hasConcept C184337299 @default.
- W2106143913 hasConcept C199360897 @default.
- W2106143913 hasConcept C207648694 @default.
- W2106143913 hasConcept C2779623528 @default.
- W2106143913 hasConcept C33203268 @default.
- W2106143913 hasConcept C33923547 @default.
- W2106143913 hasConcept C41008148 @default.
- W2106143913 hasConcept C80444323 @default.
- W2106143913 hasConcept C80899671 @default.
- W2106143913 hasConcept C89497691 @default.
- W2106143913 hasConcept C9672783 @default.
- W2106143913 hasConceptScore W2106143913C102993220 @default.
- W2106143913 hasConceptScore W2106143913C118615104 @default.
- W2106143913 hasConceptScore W2106143913C132525143 @default.
- W2106143913 hasConceptScore W2106143913C156325763 @default.
- W2106143913 hasConceptScore W2106143913C160131679 @default.
- W2106143913 hasConceptScore W2106143913C184337299 @default.
- W2106143913 hasConceptScore W2106143913C199360897 @default.
- W2106143913 hasConceptScore W2106143913C207648694 @default.
- W2106143913 hasConceptScore W2106143913C2779623528 @default.
- W2106143913 hasConceptScore W2106143913C33203268 @default.
- W2106143913 hasConceptScore W2106143913C33923547 @default.
- W2106143913 hasConceptScore W2106143913C41008148 @default.
- W2106143913 hasConceptScore W2106143913C80444323 @default.
- W2106143913 hasConceptScore W2106143913C80899671 @default.
- W2106143913 hasConceptScore W2106143913C89497691 @default.
- W2106143913 hasConceptScore W2106143913C9672783 @default.
- W2106143913 hasIssue "1" @default.
- W2106143913 hasLocation W21061439131 @default.
- W2106143913 hasLocation W21061439132 @default.
- W2106143913 hasLocation W21061439133 @default.
- W2106143913 hasLocation W21061439134 @default.
- W2106143913 hasLocation W21061439135 @default.
- W2106143913 hasLocation W21061439136 @default.
- W2106143913 hasLocation W21061439137 @default.
- W2106143913 hasLocation W21061439138 @default.
- W2106143913 hasLocation W21061439139 @default.
- W2106143913 hasOpenAccess W2106143913 @default.
- W2106143913 hasPrimaryLocation W21061439131 @default.
- W2106143913 hasRelatedWork W1480526257 @default.
- W2106143913 hasRelatedWork W1990759781 @default.
- W2106143913 hasRelatedWork W2043182143 @default.
- W2106143913 hasRelatedWork W2047273923 @default.
- W2106143913 hasRelatedWork W2125406856 @default.
- W2106143913 hasRelatedWork W2135819447 @default.
- W2106143913 hasRelatedWork W2139765668 @default.
- W2106143913 hasRelatedWork W2246105489 @default.
- W2106143913 hasRelatedWork W2950641724 @default.
- W2106143913 hasRelatedWork W3129725704 @default.
- W2106143913 hasVolume "21" @default.
- W2106143913 isParatext "false" @default.
- W2106143913 isRetracted "false" @default.
- W2106143913 magId "2106143913" @default.
- W2106143913 workType "article" @default.