Matches in SemOpenAlex for { <https://semopenalex.org/work/W2947285303> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2947285303 endingPage "117" @default.
- W2947285303 startingPage "104" @default.
- W2947285303 abstract "We introduce the notion of coherent graphs, and show how those can be used to define dynamic semantics for Multiplicative Linear Logic (MLL) extended with non-determinism. Thanks to the use of a coherence relation rather than mere formal sums of non-deterministic possibilities, our model enjoys some finiteness and sparsity properties. We also show how studying the semantic types generated by a single test within our model of MLL naturally gives rise to a notion of proof net, which turns out to be exactly Retore's R&B-cographs. This revisits the old idea that multplicative proof net correctness is interactive, with a twist: types are characterized not by a set of counter-proofs but by a single non-deterministic counter-proof." @default.
- W2947285303 created "2019-06-07" @default.
- W2947285303 creator A5065976105 @default.
- W2947285303 creator A5083813801 @default.
- W2947285303 date "2018-01-01" @default.
- W2947285303 modified "2023-10-16" @default.
- W2947285303 title "Coherent Interaction Graphs." @default.
- W2947285303 hasPublicationYear "2018" @default.
- W2947285303 type Work @default.
- W2947285303 sameAs 2947285303 @default.
- W2947285303 citedByCount "3" @default.
- W2947285303 countsByYear W29472853032020 @default.
- W2947285303 countsByYear W29472853032023 @default.
- W2947285303 crossrefType "journal-article" @default.
- W2947285303 hasAuthorship W2947285303A5065976105 @default.
- W2947285303 hasAuthorship W2947285303A5083813801 @default.
- W2947285303 hasConcept C108710211 @default.
- W2947285303 hasConcept C11413529 @default.
- W2947285303 hasConcept C118615104 @default.
- W2947285303 hasConcept C134306372 @default.
- W2947285303 hasConcept C184337299 @default.
- W2947285303 hasConcept C199360897 @default.
- W2947285303 hasConcept C2524010 @default.
- W2947285303 hasConcept C28077239 @default.
- W2947285303 hasConcept C33923547 @default.
- W2947285303 hasConcept C41008148 @default.
- W2947285303 hasConcept C42747912 @default.
- W2947285303 hasConcept C55439883 @default.
- W2947285303 hasConcept C80444323 @default.
- W2947285303 hasConceptScore W2947285303C108710211 @default.
- W2947285303 hasConceptScore W2947285303C11413529 @default.
- W2947285303 hasConceptScore W2947285303C118615104 @default.
- W2947285303 hasConceptScore W2947285303C134306372 @default.
- W2947285303 hasConceptScore W2947285303C184337299 @default.
- W2947285303 hasConceptScore W2947285303C199360897 @default.
- W2947285303 hasConceptScore W2947285303C2524010 @default.
- W2947285303 hasConceptScore W2947285303C28077239 @default.
- W2947285303 hasConceptScore W2947285303C33923547 @default.
- W2947285303 hasConceptScore W2947285303C41008148 @default.
- W2947285303 hasConceptScore W2947285303C42747912 @default.
- W2947285303 hasConceptScore W2947285303C55439883 @default.
- W2947285303 hasConceptScore W2947285303C80444323 @default.
- W2947285303 hasLocation W29472853031 @default.
- W2947285303 hasOpenAccess W2947285303 @default.
- W2947285303 hasPrimaryLocation W29472853031 @default.
- W2947285303 hasRelatedWork W1496335730 @default.
- W2947285303 hasRelatedWork W2005587022 @default.
- W2947285303 hasRelatedWork W2015379750 @default.
- W2947285303 hasRelatedWork W2035561341 @default.
- W2947285303 hasRelatedWork W2098064994 @default.
- W2947285303 hasRelatedWork W2121874004 @default.
- W2947285303 hasRelatedWork W2135287414 @default.
- W2947285303 hasRelatedWork W2529242558 @default.
- W2947285303 hasRelatedWork W2766478409 @default.
- W2947285303 hasRelatedWork W2795920969 @default.
- W2947285303 hasRelatedWork W2809754822 @default.
- W2947285303 hasRelatedWork W28931835 @default.
- W2947285303 hasRelatedWork W2933189939 @default.
- W2947285303 hasRelatedWork W2939991526 @default.
- W2947285303 hasRelatedWork W2942964520 @default.
- W2947285303 hasRelatedWork W2981732651 @default.
- W2947285303 hasRelatedWork W3006838734 @default.
- W2947285303 hasRelatedWork W3101368285 @default.
- W2947285303 hasRelatedWork W3115997370 @default.
- W2947285303 hasRelatedWork W3182522751 @default.
- W2947285303 isParatext "false" @default.
- W2947285303 isRetracted "false" @default.
- W2947285303 magId "2947285303" @default.
- W2947285303 workType "article" @default.