FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2908011342> ?p ?o ?g. }

• W2908011342 abstract "We investigate the possibility of a semantic account of the execution time (i.e. the number of beta_v-steps leading to the normal form, if any) for the shuffling calculus, an extension of Plotkin's call-by-value {lambda}-calculus. For this purpose, we use a linear logic based denotational model that can be seen as a non-idempotent intersection type system: relational semantics. Our investigation is inspired by similar ones for linear logic proof-nets and untyped call-by-name {lambda}-calculus. We first prove a qualitative result: a (possibly open) term is normalizable for weak reduction (which does not reduce under abstractions) if and only if its interpretation is not empty. We then show that the size of type derivations can be used to measure the execution time. Finally, we show that, differently from the case of linear logic and call-by-name {lambda}-calculus, the quantitative information enclosed in type derivations does not lift to types (i.e. to the interpretation of terms). To get a truly semantic measure of execution time in a call-by-value setting, we conjecture that a refinement of its syntax and operational semantics is needed." @default.
• W2908011342 created "2019-01-11" @default.
• W2908011342 creator A5046929882 @default.
• W2908011342 date "2018-12-27" @default.
• W2908011342 modified "2023-09-28" @default.
• W2908011342 title "Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)." @default.
• W2908011342 cites W1136297157 @default.
• W2908011342 cites W1551972816 @default.
• W2908011342 cites W1554278997 @default.
• W2908011342 cites W1556604985 @default.
• W2908011342 cites W1630373979 @default.
• W2908011342 cites W1764225652 @default.
• W2908011342 cites W1904606068 @default.
• W2908011342 cites W1965630431 @default.
• W2908011342 cites W1981303668 @default.
• W2908011342 cites W2002689571 @default.
• W2908011342 cites W2004553747 @default.
• W2908011342 cites W2008868842 @default.
• W2908011342 cites W2009296250 @default.
• W2908011342 cites W2059860151 @default.
• W2908011342 cites W2081694512 @default.
• W2908011342 cites W2085670481 @default.
• W2908011342 cites W2088735483 @default.
• W2908011342 cites W2154273644 @default.
• W2908011342 cites W2168254994 @default.
• W2908011342 cites W2169655078 @default.
• W2908011342 cites W2227443803 @default.
• W2908011342 cites W2255489013 @default.
• W2908011342 cites W2288327229 @default.
• W2908011342 cites W2293486267 @default.
• W2908011342 cites W2406089210 @default.
• W2908011342 cites W2508102865 @default.
• W2908011342 cites W2513611569 @default.
• W2908011342 cites W2757509170 @default.
• W2908011342 cites W2760585651 @default.
• W2908011342 cites W2779912584 @default.
• W2908011342 cites W2896999751 @default.
• W2908011342 cites W2964032597 @default.
• W2908011342 cites W3099269275 @default.
• W2908011342 cites W618258190 @default.
• W2908011342 cites W70544678 @default.
• W2908011342 cites W7694972 @default.
• W2908011342 hasPublicationYear "2018" @default.
• W2908011342 type Work @default.
• W2908011342 sameAs 2908011342 @default.
• W2908011342 citedByCount "0" @default.
• W2908011342 crossrefType "posted-content" @default.
• W2908011342 hasAuthorship W2908011342A5046929882 @default.
• W2908011342 hasConcept C118615104 @default.
• W2908011342 hasConcept C135790938 @default.
• W2908011342 hasConcept C136119220 @default.
• W2908011342 hasConcept C156325763 @default.
• W2908011342 hasConcept C184337299 @default.
• W2908011342 hasConcept C199343813 @default.
• W2908011342 hasConcept C199360897 @default.
• W2908011342 hasConcept C202444582 @default.
• W2908011342 hasConcept C207648694 @default.
• W2908011342 hasConcept C2777686260 @default.
• W2908011342 hasConcept C2780009758 @default.
• W2908011342 hasConcept C28077239 @default.
• W2908011342 hasConcept C33923547 @default.
• W2908011342 hasConcept C41008148 @default.
• W2908011342 hasConcept C527412718 @default.
• W2908011342 hasConcept C71924100 @default.
• W2908011342 hasConcept C77088390 @default.
• W2908011342 hasConcept C9672783 @default.
• W2908011342 hasConceptScore W2908011342C118615104 @default.
• W2908011342 hasConceptScore W2908011342C135790938 @default.
• W2908011342 hasConceptScore W2908011342C136119220 @default.
• W2908011342 hasConceptScore W2908011342C156325763 @default.
• W2908011342 hasConceptScore W2908011342C184337299 @default.
• W2908011342 hasConceptScore W2908011342C199343813 @default.
• W2908011342 hasConceptScore W2908011342C199360897 @default.
• W2908011342 hasConceptScore W2908011342C202444582 @default.
• W2908011342 hasConceptScore W2908011342C207648694 @default.
• W2908011342 hasConceptScore W2908011342C2777686260 @default.
• W2908011342 hasConceptScore W2908011342C2780009758 @default.
• W2908011342 hasConceptScore W2908011342C28077239 @default.
• W2908011342 hasConceptScore W2908011342C33923547 @default.
• W2908011342 hasConceptScore W2908011342C41008148 @default.
• W2908011342 hasConceptScore W2908011342C527412718 @default.
• W2908011342 hasConceptScore W2908011342C71924100 @default.
• W2908011342 hasConceptScore W2908011342C77088390 @default.
• W2908011342 hasConceptScore W2908011342C9672783 @default.
• W2908011342 hasOpenAccess W2908011342 @default.
• W2908011342 hasRelatedWork W1551218897 @default.
• W2908011342 hasRelatedWork W1551630805 @default.
• W2908011342 hasRelatedWork W1553364858 @default.
• W2908011342 hasRelatedWork W1996820391 @default.
• W2908011342 hasRelatedWork W2002338807 @default.
• W2908011342 hasRelatedWork W2011185234 @default.
• W2908011342 hasRelatedWork W2070721186 @default.
• W2908011342 hasRelatedWork W2081791214 @default.
• W2908011342 hasRelatedWork W2082729761 @default.
• W2908011342 hasRelatedWork W2084816568 @default.
• W2908011342 hasRelatedWork W2103178808 @default.
• W2908011342 hasRelatedWork W2106142143 @default.
• W2908011342 hasRelatedWork W2157221482 @default.
• W2908011342 hasRelatedWork W2290993782 @default.
• W2908011342 hasRelatedWork W2751448516 @default.

• next