Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950469850> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2950469850 abstract "In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cut-elimination. We make this intuition formal in the context of the non-deterministic {lambda}-calculus by introducing a finiteness structure on resource terms, which is such that a {lambda}-term is strongly normalizing iff the support of its Taylor expansion is finitary. An application of our result is the existence of a normal form for the Taylor expansion of any strongly normalizable non-deterministic {lambda}-term." @default.
- W2950469850 created "2019-06-27" @default.
- W2950469850 creator A5014578218 @default.
- W2950469850 creator A5034458000 @default.
- W2950469850 creator A5063161068 @default.
- W2950469850 date "2016-03-23" @default.
- W2950469850 modified "2023-09-25" @default.
- W2950469850 title "Strong Normalizability as a Finiteness Structure via the Taylor Expansion of {lambda}-terms" @default.
- W2950469850 cites W1554278997 @default.
- W2950469850 cites W1581049135 @default.
- W2950469850 cites W1970227944 @default.
- W2950469850 cites W1976958863 @default.
- W2950469850 cites W2007411063 @default.
- W2950469850 cites W2079873887 @default.
- W2950469850 cites W2101894951 @default.
- W2950469850 cites W2911874855 @default.
- W2950469850 hasPublicationYear "2016" @default.
- W2950469850 type Work @default.
- W2950469850 sameAs 2950469850 @default.
- W2950469850 citedByCount "0" @default.
- W2950469850 crossrefType "posted-content" @default.
- W2950469850 hasAuthorship W2950469850A5014578218 @default.
- W2950469850 hasAuthorship W2950469850A5034458000 @default.
- W2950469850 hasAuthorship W2950469850A5063161068 @default.
- W2950469850 hasConcept C111472728 @default.
- W2950469850 hasConcept C120665830 @default.
- W2950469850 hasConcept C121332964 @default.
- W2950469850 hasConcept C132010649 @default.
- W2950469850 hasConcept C134306372 @default.
- W2950469850 hasConcept C136886441 @default.
- W2950469850 hasConcept C138885662 @default.
- W2950469850 hasConcept C144024400 @default.
- W2950469850 hasConcept C158946198 @default.
- W2950469850 hasConcept C19165224 @default.
- W2950469850 hasConcept C199343813 @default.
- W2950469850 hasConcept C202444582 @default.
- W2950469850 hasConcept C2777686260 @default.
- W2950469850 hasConcept C2778003309 @default.
- W2950469850 hasConcept C2778113609 @default.
- W2950469850 hasConcept C33923547 @default.
- W2950469850 hasConcept C71924100 @default.
- W2950469850 hasConceptScore W2950469850C111472728 @default.
- W2950469850 hasConceptScore W2950469850C120665830 @default.
- W2950469850 hasConceptScore W2950469850C121332964 @default.
- W2950469850 hasConceptScore W2950469850C132010649 @default.
- W2950469850 hasConceptScore W2950469850C134306372 @default.
- W2950469850 hasConceptScore W2950469850C136886441 @default.
- W2950469850 hasConceptScore W2950469850C138885662 @default.
- W2950469850 hasConceptScore W2950469850C144024400 @default.
- W2950469850 hasConceptScore W2950469850C158946198 @default.
- W2950469850 hasConceptScore W2950469850C19165224 @default.
- W2950469850 hasConceptScore W2950469850C199343813 @default.
- W2950469850 hasConceptScore W2950469850C202444582 @default.
- W2950469850 hasConceptScore W2950469850C2777686260 @default.
- W2950469850 hasConceptScore W2950469850C2778003309 @default.
- W2950469850 hasConceptScore W2950469850C2778113609 @default.
- W2950469850 hasConceptScore W2950469850C33923547 @default.
- W2950469850 hasConceptScore W2950469850C71924100 @default.
- W2950469850 hasLocation W29504698501 @default.
- W2950469850 hasOpenAccess W2950469850 @default.
- W2950469850 hasPrimaryLocation W29504698501 @default.
- W2950469850 hasRelatedWork W1591846509 @default.
- W2950469850 hasRelatedWork W1829093058 @default.
- W2950469850 hasRelatedWork W1991093042 @default.
- W2950469850 hasRelatedWork W2022438838 @default.
- W2950469850 hasRelatedWork W2044490292 @default.
- W2950469850 hasRelatedWork W2046813460 @default.
- W2950469850 hasRelatedWork W205216857 @default.
- W2950469850 hasRelatedWork W2115393058 @default.
- W2950469850 hasRelatedWork W2142472201 @default.
- W2950469850 hasRelatedWork W216691121 @default.
- W2950469850 hasRelatedWork W2277429673 @default.
- W2950469850 hasRelatedWork W2305850023 @default.
- W2950469850 hasRelatedWork W2400819653 @default.
- W2950469850 hasRelatedWork W2996525390 @default.
- W2950469850 hasRelatedWork W3001807735 @default.
- W2950469850 hasRelatedWork W3047076790 @default.
- W2950469850 hasRelatedWork W7694972 @default.
- W2950469850 hasRelatedWork W90191816 @default.
- W2950469850 hasRelatedWork W99014182 @default.
- W2950469850 hasRelatedWork W3088770234 @default.
- W2950469850 isParatext "false" @default.
- W2950469850 isRetracted "false" @default.
- W2950469850 magId "2950469850" @default.
- W2950469850 workType "article" @default.