Matches in SemOpenAlex for { <https://semopenalex.org/work/W141232972> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W141232972 endingPage "395" @default.
- W141232972 startingPage "381" @default.
- W141232972 abstract "We define an extension of Herbelin’s (barlambdamu)-calculus, introducing a product operation on contexts (in the sense of lists of arguments, or stacks in environment machines), similar to the convolution product of distributions. This is the computational couterpart of some new semantical constructions, extending models of Ehrhard-Regnier’s differential interaction nets, along the lines of Laurent’s polarization of linear logic. We demonstrate this correspondence by providing this calculus with a denotational semantics inside a lambda-model in the category of sets and relations." @default.
- W141232972 created "2016-06-24" @default.
- W141232972 creator A5034458000 @default.
- W141232972 date "2007-01-01" @default.
- W141232972 modified "2023-09-24" @default.
- W141232972 title "Convolution $barlambdamu$ -Calculus" @default.
- W141232972 cites W1471398886 @default.
- W141232972 cites W1496105140 @default.
- W141232972 cites W1603473135 @default.
- W141232972 cites W2008920425 @default.
- W141232972 cites W2031381178 @default.
- W141232972 cites W2033920397 @default.
- W141232972 cites W2053791527 @default.
- W141232972 cites W2088376608 @default.
- W141232972 cites W2117099199 @default.
- W141232972 cites W2148814023 @default.
- W141232972 cites W2911874855 @default.
- W141232972 doi "https://doi.org/10.1007/978-3-540-73228-0_27" @default.
- W141232972 hasPublicationYear "2007" @default.
- W141232972 type Work @default.
- W141232972 sameAs 141232972 @default.
- W141232972 citedByCount "2" @default.
- W141232972 countsByYear W1412329722015 @default.
- W141232972 crossrefType "book-chapter" @default.
- W141232972 hasAuthorship W141232972A5034458000 @default.
- W141232972 hasBestOaLocation W1412329722 @default.
- W141232972 hasConcept C118615104 @default.
- W141232972 hasConcept C120665830 @default.
- W141232972 hasConcept C121332964 @default.
- W141232972 hasConcept C135790938 @default.
- W141232972 hasConcept C136119220 @default.
- W141232972 hasConcept C154945302 @default.
- W141232972 hasConcept C199343813 @default.
- W141232972 hasConcept C199360897 @default.
- W141232972 hasConcept C202444582 @default.
- W141232972 hasConcept C2777686260 @default.
- W141232972 hasConcept C2778029271 @default.
- W141232972 hasConcept C2778113609 @default.
- W141232972 hasConcept C28077239 @default.
- W141232972 hasConcept C33923547 @default.
- W141232972 hasConcept C41008148 @default.
- W141232972 hasConcept C45347329 @default.
- W141232972 hasConcept C50644808 @default.
- W141232972 hasConcept C56802139 @default.
- W141232972 hasConcept C71924100 @default.
- W141232972 hasConceptScore W141232972C118615104 @default.
- W141232972 hasConceptScore W141232972C120665830 @default.
- W141232972 hasConceptScore W141232972C121332964 @default.
- W141232972 hasConceptScore W141232972C135790938 @default.
- W141232972 hasConceptScore W141232972C136119220 @default.
- W141232972 hasConceptScore W141232972C154945302 @default.
- W141232972 hasConceptScore W141232972C199343813 @default.
- W141232972 hasConceptScore W141232972C199360897 @default.
- W141232972 hasConceptScore W141232972C202444582 @default.
- W141232972 hasConceptScore W141232972C2777686260 @default.
- W141232972 hasConceptScore W141232972C2778029271 @default.
- W141232972 hasConceptScore W141232972C2778113609 @default.
- W141232972 hasConceptScore W141232972C28077239 @default.
- W141232972 hasConceptScore W141232972C33923547 @default.
- W141232972 hasConceptScore W141232972C41008148 @default.
- W141232972 hasConceptScore W141232972C45347329 @default.
- W141232972 hasConceptScore W141232972C50644808 @default.
- W141232972 hasConceptScore W141232972C56802139 @default.
- W141232972 hasConceptScore W141232972C71924100 @default.
- W141232972 hasLocation W1412329721 @default.
- W141232972 hasLocation W1412329722 @default.
- W141232972 hasLocation W1412329723 @default.
- W141232972 hasLocation W1412329724 @default.
- W141232972 hasLocation W1412329725 @default.
- W141232972 hasOpenAccess W141232972 @default.
- W141232972 hasPrimaryLocation W1412329721 @default.
- W141232972 hasRelatedWork W1608923249 @default.
- W141232972 hasRelatedWork W2085670481 @default.
- W141232972 hasRelatedWork W2093561140 @default.
- W141232972 hasRelatedWork W2269461476 @default.
- W141232972 hasRelatedWork W2418849328 @default.
- W141232972 hasRelatedWork W2508102865 @default.
- W141232972 hasRelatedWork W4293684193 @default.
- W141232972 hasRelatedWork W7129352 @default.
- W141232972 hasRelatedWork W813931767 @default.
- W141232972 hasRelatedWork W2785405191 @default.
- W141232972 isParatext "false" @default.
- W141232972 isRetracted "false" @default.
- W141232972 magId "141232972" @default.
- W141232972 workType "book-chapter" @default.