Matches in SemOpenAlex for { <https://semopenalex.org/work/W2604151837> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2604151837 abstract "We prove the conservation theorem for differential nets – the graph-theoretical syntax of the differential extension of Linear Logic (Ehrhard and Regnier's DiLL ). The conservation theorem states that the property of having infinite reductions (here infinite chains of cut elimination steps) is preserved by non-erasing steps. This turns the quest for strong normalisation (SN) into one for non-erasing weak normalisation (WN), and indeed we use this result to prove SN of simply typed DiLL (with promotion). Along the way to the theorem we achieve a number of additional results having their own interest, such as a standardisation theorem and a slightly modified system of nets, DiLL ∂ϱ ." @default.
- W2604151837 created "2017-04-14" @default.
- W2604151837 creator A5014578218 @default.
- W2604151837 creator A5087766002 @default.
- W2604151837 date "2015-10-29" @default.
- W2604151837 modified "2023-10-01" @default.
- W2604151837 title "The conservation theorem for differential nets" @default.
- W2604151837 cites W1483865853 @default.
- W2604151837 cites W1487251594 @default.
- W2604151837 cites W1505195721 @default.
- W2604151837 cites W1517973224 @default.
- W2604151837 cites W1534698598 @default.
- W2604151837 cites W1706480804 @default.
- W2604151837 cites W1979101142 @default.
- W2604151837 cites W1982425141 @default.
- W2604151837 cites W2044297003 @default.
- W2604151837 cites W2079171825 @default.
- W2604151837 cites W2088376608 @default.
- W2604151837 cites W2093561140 @default.
- W2604151837 cites W2109323214 @default.
- W2604151837 cites W2112691878 @default.
- W2604151837 cites W2112971523 @default.
- W2604151837 cites W2113402167 @default.
- W2604151837 cites W2149837936 @default.
- W2604151837 cites W2294530123 @default.
- W2604151837 cites W2911865844 @default.
- W2604151837 cites W2911874855 @default.
- W2604151837 cites W41668360 @default.
- W2604151837 doi "https://doi.org/10.1017/s0960129515000456" @default.
- W2604151837 hasPublicationYear "2015" @default.
- W2604151837 type Work @default.
- W2604151837 sameAs 2604151837 @default.
- W2604151837 citedByCount "3" @default.
- W2604151837 countsByYear W26041518372019 @default.
- W2604151837 countsByYear W26041518372021 @default.
- W2604151837 crossrefType "journal-article" @default.
- W2604151837 hasAuthorship W2604151837A5014578218 @default.
- W2604151837 hasAuthorship W2604151837A5087766002 @default.
- W2604151837 hasConcept C111472728 @default.
- W2604151837 hasConcept C118615104 @default.
- W2604151837 hasConcept C121332964 @default.
- W2604151837 hasConcept C132525143 @default.
- W2604151837 hasConcept C138885662 @default.
- W2604151837 hasConcept C189950617 @default.
- W2604151837 hasConcept C199360897 @default.
- W2604151837 hasConcept C202444582 @default.
- W2604151837 hasConcept C2778029271 @default.
- W2604151837 hasConcept C2780432614 @default.
- W2604151837 hasConcept C33923547 @default.
- W2604151837 hasConcept C41008148 @default.
- W2604151837 hasConcept C93226319 @default.
- W2604151837 hasConcept C97355855 @default.
- W2604151837 hasConceptScore W2604151837C111472728 @default.
- W2604151837 hasConceptScore W2604151837C118615104 @default.
- W2604151837 hasConceptScore W2604151837C121332964 @default.
- W2604151837 hasConceptScore W2604151837C132525143 @default.
- W2604151837 hasConceptScore W2604151837C138885662 @default.
- W2604151837 hasConceptScore W2604151837C189950617 @default.
- W2604151837 hasConceptScore W2604151837C199360897 @default.
- W2604151837 hasConceptScore W2604151837C202444582 @default.
- W2604151837 hasConceptScore W2604151837C2778029271 @default.
- W2604151837 hasConceptScore W2604151837C2780432614 @default.
- W2604151837 hasConceptScore W2604151837C33923547 @default.
- W2604151837 hasConceptScore W2604151837C41008148 @default.
- W2604151837 hasConceptScore W2604151837C93226319 @default.
- W2604151837 hasConceptScore W2604151837C97355855 @default.
- W2604151837 hasLocation W26041518371 @default.
- W2604151837 hasOpenAccess W2604151837 @default.
- W2604151837 hasPrimaryLocation W26041518371 @default.
- W2604151837 hasRelatedWork W12244828 @default.
- W2604151837 hasRelatedWork W1498428138 @default.
- W2604151837 hasRelatedWork W1578693972 @default.
- W2604151837 hasRelatedWork W1938840723 @default.
- W2604151837 hasRelatedWork W1966647497 @default.
- W2604151837 hasRelatedWork W1977882652 @default.
- W2604151837 hasRelatedWork W1978830876 @default.
- W2604151837 hasRelatedWork W2029438897 @default.
- W2604151837 hasRelatedWork W2069207426 @default.
- W2604151837 hasRelatedWork W2084443499 @default.
- W2604151837 hasRelatedWork W2147993379 @default.
- W2604151837 hasRelatedWork W2157304063 @default.
- W2604151837 hasRelatedWork W2269631276 @default.
- W2604151837 hasRelatedWork W2293542736 @default.
- W2604151837 hasRelatedWork W2305596766 @default.
- W2604151837 hasRelatedWork W2585922487 @default.
- W2604151837 hasRelatedWork W2889144857 @default.
- W2604151837 hasRelatedWork W3104046540 @default.
- W2604151837 hasRelatedWork W3140175842 @default.
- W2604151837 hasRelatedWork W2588552110 @default.
- W2604151837 isParatext "false" @default.
- W2604151837 isRetracted "false" @default.
- W2604151837 magId "2604151837" @default.
- W2604151837 workType "article" @default.