Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081694512> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2081694512 endingPage "1902" @default.
- W2081694512 startingPage "1884" @default.
- W2081694512 abstract "We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: (1) a net is head-normalizable (i.e. normalizable at depth 0) if and only if its interpretation in the multiset based relational semantics is not empty and (2) a net is normalizable if and only if its exhaustive interpretation (a suitable restriction of its interpretation) is not empty. We then give a semantic measure of execution time: we prove that we can compute the number of cut elimination steps leading to a cut free normal form of the net obtained by connecting two cut free nets by means of a cut-link, from the interpretations of the two cut free nets. These results are inspired by similar ones obtained by the first author for the untyped lambda-calculus." @default.
- W2081694512 created "2016-06-24" @default.
- W2081694512 creator A5014578218 @default.
- W2081694512 creator A5047624745 @default.
- W2081694512 creator A5054692434 @default.
- W2081694512 date "2011-04-01" @default.
- W2081694512 modified "2023-09-26" @default.
- W2081694512 title "A semantic measure of the execution time in linear logic" @default.
- W2081694512 cites W1969548989 @default.
- W2081694512 cites W2007411063 @default.
- W2081694512 cites W2079171825 @default.
- W2081694512 cites W2113402167 @default.
- W2081694512 cites W2134977913 @default.
- W2081694512 cites W2137175736 @default.
- W2081694512 cites W2138520644 @default.
- W2081694512 cites W2159254191 @default.
- W2081694512 cites W2172192397 @default.
- W2081694512 cites W2911865844 @default.
- W2081694512 doi "https://doi.org/10.1016/j.tcs.2010.12.017" @default.
- W2081694512 hasPublicationYear "2011" @default.
- W2081694512 type Work @default.
- W2081694512 sameAs 2081694512 @default.
- W2081694512 citedByCount "44" @default.
- W2081694512 countsByYear W20816945122012 @default.
- W2081694512 countsByYear W20816945122013 @default.
- W2081694512 countsByYear W20816945122014 @default.
- W2081694512 countsByYear W20816945122015 @default.
- W2081694512 countsByYear W20816945122016 @default.
- W2081694512 countsByYear W20816945122017 @default.
- W2081694512 countsByYear W20816945122018 @default.
- W2081694512 countsByYear W20816945122019 @default.
- W2081694512 countsByYear W20816945122020 @default.
- W2081694512 countsByYear W20816945122021 @default.
- W2081694512 countsByYear W20816945122022 @default.
- W2081694512 countsByYear W20816945122023 @default.
- W2081694512 crossrefType "journal-article" @default.
- W2081694512 hasAuthorship W2081694512A5014578218 @default.
- W2081694512 hasAuthorship W2081694512A5047624745 @default.
- W2081694512 hasAuthorship W2081694512A5054692434 @default.
- W2081694512 hasBestOaLocation W20816945121 @default.
- W2081694512 hasConcept C11413529 @default.
- W2081694512 hasConcept C118615104 @default.
- W2081694512 hasConcept C124101348 @default.
- W2081694512 hasConcept C135790938 @default.
- W2081694512 hasConcept C14166107 @default.
- W2081694512 hasConcept C184337299 @default.
- W2081694512 hasConcept C199360897 @default.
- W2081694512 hasConcept C2524010 @default.
- W2081694512 hasConcept C2779623528 @default.
- W2081694512 hasConcept C2780009758 @default.
- W2081694512 hasConcept C2780654840 @default.
- W2081694512 hasConcept C33923547 @default.
- W2081694512 hasConcept C41008148 @default.
- W2081694512 hasConcept C527412718 @default.
- W2081694512 hasConceptScore W2081694512C11413529 @default.
- W2081694512 hasConceptScore W2081694512C118615104 @default.
- W2081694512 hasConceptScore W2081694512C124101348 @default.
- W2081694512 hasConceptScore W2081694512C135790938 @default.
- W2081694512 hasConceptScore W2081694512C14166107 @default.
- W2081694512 hasConceptScore W2081694512C184337299 @default.
- W2081694512 hasConceptScore W2081694512C199360897 @default.
- W2081694512 hasConceptScore W2081694512C2524010 @default.
- W2081694512 hasConceptScore W2081694512C2779623528 @default.
- W2081694512 hasConceptScore W2081694512C2780009758 @default.
- W2081694512 hasConceptScore W2081694512C2780654840 @default.
- W2081694512 hasConceptScore W2081694512C33923547 @default.
- W2081694512 hasConceptScore W2081694512C41008148 @default.
- W2081694512 hasConceptScore W2081694512C527412718 @default.
- W2081694512 hasIssue "20" @default.
- W2081694512 hasLocation W20816945121 @default.
- W2081694512 hasLocation W20816945122 @default.
- W2081694512 hasLocation W20816945123 @default.
- W2081694512 hasLocation W20816945124 @default.
- W2081694512 hasLocation W20816945125 @default.
- W2081694512 hasLocation W20816945126 @default.
- W2081694512 hasLocation W20816945127 @default.
- W2081694512 hasOpenAccess W2081694512 @default.
- W2081694512 hasPrimaryLocation W20816945121 @default.
- W2081694512 hasRelatedWork W1558230924 @default.
- W2081694512 hasRelatedWork W1587224678 @default.
- W2081694512 hasRelatedWork W2016527594 @default.
- W2081694512 hasRelatedWork W2074638034 @default.
- W2081694512 hasRelatedWork W2081694512 @default.
- W2081694512 hasRelatedWork W2172022734 @default.
- W2081694512 hasRelatedWork W2379521952 @default.
- W2081694512 hasRelatedWork W3147812817 @default.
- W2081694512 hasRelatedWork W817135640 @default.
- W2081694512 hasRelatedWork W1880843538 @default.
- W2081694512 hasVolume "412" @default.
- W2081694512 isParatext "false" @default.
- W2081694512 isRetracted "false" @default.
- W2081694512 magId "2081694512" @default.
- W2081694512 workType "article" @default.