Matches in SemOpenAlex for { <https://semopenalex.org/work/W3005276799> ?p ?o ?g. }
- W3005276799 endingPage "105047" @default.
- W3005276799 startingPage "105047" @default.
- W3005276799 abstract "Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Call-by-Name (CBN) and Call-by-Value (CBV) semantics. The essence of this paradigm is captured by the Bang Calculus, a term language connecting CBPV and Linear Logic. This paper presents a revisited version of the Bang Calculus, called λ!, enjoying some important properties missing in the original formulation. Indeed, the new calculus integrates permutative conversions to unblock value redexes while preserving confluence. A second contribution is related to non-idempotent types. We provide a quantitative type system for our λ!-calculus, giving upper bounds to the length of the reduction to normal form plus its size. We also explore the properties of this type system with respect to CBN/CBV translations. Last but not least, the quantitative system is refined to a tight one, which transforms the previous upper bound into two independent exact measures for the reduction length and the normal form size respectively." @default.
- W3005276799 created "2020-02-14" @default.
- W3005276799 creator A5045773672 @default.
- W3005276799 creator A5058911479 @default.
- W3005276799 creator A5064308541 @default.
- W3005276799 creator A5077330939 @default.
- W3005276799 date "2023-08-01" @default.
- W3005276799 modified "2023-10-03" @default.
- W3005276799 title "The bang calculus revisited" @default.
- W3005276799 cites W1630373979 @default.
- W3005276799 cites W1904606068 @default.
- W3005276799 cites W1965630431 @default.
- W3005276799 cites W1995338553 @default.
- W3005276799 cites W2004553747 @default.
- W3005276799 cites W2007411063 @default.
- W3005276799 cites W2008868842 @default.
- W3005276799 cites W2014182958 @default.
- W3005276799 cites W2028012052 @default.
- W3005276799 cites W2081694512 @default.
- W3005276799 cites W2085670481 @default.
- W3005276799 cites W2119240423 @default.
- W3005276799 cites W2760585651 @default.
- W3005276799 cites W2911865844 @default.
- W3005276799 cites W2911921619 @default.
- W3005276799 cites W2964032597 @default.
- W3005276799 doi "https://doi.org/10.1016/j.ic.2023.105047" @default.
- W3005276799 hasPublicationYear "2023" @default.
- W3005276799 type Work @default.
- W3005276799 sameAs 3005276799 @default.
- W3005276799 citedByCount "1" @default.
- W3005276799 countsByYear W30052767992021 @default.
- W3005276799 crossrefType "journal-article" @default.
- W3005276799 hasAuthorship W3005276799A5045773672 @default.
- W3005276799 hasAuthorship W3005276799A5058911479 @default.
- W3005276799 hasAuthorship W3005276799A5064308541 @default.
- W3005276799 hasAuthorship W3005276799A5077330939 @default.
- W3005276799 hasConcept C105795698 @default.
- W3005276799 hasConcept C111335779 @default.
- W3005276799 hasConcept C11413529 @default.
- W3005276799 hasConcept C118615104 @default.
- W3005276799 hasConcept C121332964 @default.
- W3005276799 hasConcept C134306372 @default.
- W3005276799 hasConcept C184337299 @default.
- W3005276799 hasConcept C18903297 @default.
- W3005276799 hasConcept C199343813 @default.
- W3005276799 hasConcept C199360897 @default.
- W3005276799 hasConcept C2524010 @default.
- W3005276799 hasConcept C2776291640 @default.
- W3005276799 hasConcept C2777299769 @default.
- W3005276799 hasConcept C2777686260 @default.
- W3005276799 hasConcept C28077239 @default.
- W3005276799 hasConcept C33923547 @default.
- W3005276799 hasConcept C41008148 @default.
- W3005276799 hasConcept C61797465 @default.
- W3005276799 hasConcept C62520636 @default.
- W3005276799 hasConcept C71924100 @default.
- W3005276799 hasConcept C77553402 @default.
- W3005276799 hasConcept C86803240 @default.
- W3005276799 hasConceptScore W3005276799C105795698 @default.
- W3005276799 hasConceptScore W3005276799C111335779 @default.
- W3005276799 hasConceptScore W3005276799C11413529 @default.
- W3005276799 hasConceptScore W3005276799C118615104 @default.
- W3005276799 hasConceptScore W3005276799C121332964 @default.
- W3005276799 hasConceptScore W3005276799C134306372 @default.
- W3005276799 hasConceptScore W3005276799C184337299 @default.
- W3005276799 hasConceptScore W3005276799C18903297 @default.
- W3005276799 hasConceptScore W3005276799C199343813 @default.
- W3005276799 hasConceptScore W3005276799C199360897 @default.
- W3005276799 hasConceptScore W3005276799C2524010 @default.
- W3005276799 hasConceptScore W3005276799C2776291640 @default.
- W3005276799 hasConceptScore W3005276799C2777299769 @default.
- W3005276799 hasConceptScore W3005276799C2777686260 @default.
- W3005276799 hasConceptScore W3005276799C28077239 @default.
- W3005276799 hasConceptScore W3005276799C33923547 @default.
- W3005276799 hasConceptScore W3005276799C41008148 @default.
- W3005276799 hasConceptScore W3005276799C61797465 @default.
- W3005276799 hasConceptScore W3005276799C62520636 @default.
- W3005276799 hasConceptScore W3005276799C71924100 @default.
- W3005276799 hasConceptScore W3005276799C77553402 @default.
- W3005276799 hasConceptScore W3005276799C86803240 @default.
- W3005276799 hasFunder F4320320883 @default.
- W3005276799 hasLocation W30052767991 @default.
- W3005276799 hasOpenAccess W3005276799 @default.
- W3005276799 hasPrimaryLocation W30052767991 @default.
- W3005276799 hasRelatedWork W1964230095 @default.
- W3005276799 hasRelatedWork W2038812594 @default.
- W3005276799 hasRelatedWork W2045715842 @default.
- W3005276799 hasRelatedWork W2349865494 @default.
- W3005276799 hasRelatedWork W2352590024 @default.
- W3005276799 hasRelatedWork W2359118052 @default.
- W3005276799 hasRelatedWork W2372553222 @default.
- W3005276799 hasRelatedWork W2925832130 @default.
- W3005276799 hasRelatedWork W3157620392 @default.
- W3005276799 hasRelatedWork W4386195899 @default.
- W3005276799 hasVolume "293" @default.
- W3005276799 isParatext "false" @default.
- W3005276799 isRetracted "false" @default.
- W3005276799 magId "3005276799" @default.