Matches in SemOpenAlex for { <https://semopenalex.org/work/W1963720087> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1963720087 abstract "Some type-based approaches to termination use sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted if it is visible in the type system that recursive calls occur just at a smaller size. This approach is only sound if the type of the recursive function is admissible, i.e., depends on the size index in a certain way. To explore the space of admissible functions in the presence of higher-kinded data types and impredicative polymorphism, a semantics is developed where sized types are interpreted as functions from ordinals into sets of strongly normalizing terms. It is shown that upper semi-continuity of such functions is a sufficient semantic criterion for admissibility. To provide a syntactical criterion, a calculus for semi-continuous functions is developed." @default.
- W1963720087 created "2016-06-24" @default.
- W1963720087 creator A5008534457 @default.
- W1963720087 date "2008-04-10" @default.
- W1963720087 modified "2023-09-27" @default.
- W1963720087 title "Semi-continuous Sized Types and Termination" @default.
- W1963720087 cites W1489272542 @default.
- W1963720087 cites W1505308924 @default.
- W1963720087 cites W1518711727 @default.
- W1963720087 cites W1552637872 @default.
- W1963720087 cites W1557561422 @default.
- W1963720087 cites W1578912947 @default.
- W1963720087 cites W1587287586 @default.
- W1963720087 cites W1589398330 @default.
- W1963720087 cites W1594130176 @default.
- W1963720087 cites W165446927 @default.
- W1963720087 cites W1772036931 @default.
- W1963720087 cites W1820801715 @default.
- W1963720087 cites W1841305169 @default.
- W1963720087 cites W1939765599 @default.
- W1963720087 cites W1949275316 @default.
- W1963720087 cites W2080124533 @default.
- W1963720087 cites W2082367883 @default.
- W1963720087 cites W2104860831 @default.
- W1963720087 cites W2123360309 @default.
- W1963720087 cites W2148387264 @default.
- W1963720087 cites W2162592943 @default.
- W1963720087 cites W2168162624 @default.
- W1963720087 cites W2171496589 @default.
- W1963720087 cites W282653980 @default.
- W1963720087 doi "https://doi.org/10.2168/lmcs-4(2:3)2008" @default.
- W1963720087 hasPublicationYear "2008" @default.
- W1963720087 type Work @default.
- W1963720087 sameAs 1963720087 @default.
- W1963720087 citedByCount "13" @default.
- W1963720087 countsByYear W19637200872012 @default.
- W1963720087 countsByYear W19637200872013 @default.
- W1963720087 countsByYear W19637200872014 @default.
- W1963720087 countsByYear W19637200872016 @default.
- W1963720087 countsByYear W19637200872017 @default.
- W1963720087 countsByYear W19637200872018 @default.
- W1963720087 countsByYear W19637200872019 @default.
- W1963720087 countsByYear W19637200872020 @default.
- W1963720087 crossrefType "journal-article" @default.
- W1963720087 hasAuthorship W1963720087A5008534457 @default.
- W1963720087 hasBestOaLocation W19637200871 @default.
- W1963720087 hasConcept C118615104 @default.
- W1963720087 hasConcept C14036430 @default.
- W1963720087 hasConcept C184337299 @default.
- W1963720087 hasConcept C18903297 @default.
- W1963720087 hasConcept C199360897 @default.
- W1963720087 hasConcept C2777299769 @default.
- W1963720087 hasConcept C33923547 @default.
- W1963720087 hasConcept C41008148 @default.
- W1963720087 hasConcept C78458016 @default.
- W1963720087 hasConcept C86803240 @default.
- W1963720087 hasConcept C9986523 @default.
- W1963720087 hasConceptScore W1963720087C118615104 @default.
- W1963720087 hasConceptScore W1963720087C14036430 @default.
- W1963720087 hasConceptScore W1963720087C184337299 @default.
- W1963720087 hasConceptScore W1963720087C18903297 @default.
- W1963720087 hasConceptScore W1963720087C199360897 @default.
- W1963720087 hasConceptScore W1963720087C2777299769 @default.
- W1963720087 hasConceptScore W1963720087C33923547 @default.
- W1963720087 hasConceptScore W1963720087C41008148 @default.
- W1963720087 hasConceptScore W1963720087C78458016 @default.
- W1963720087 hasConceptScore W1963720087C86803240 @default.
- W1963720087 hasConceptScore W1963720087C9986523 @default.
- W1963720087 hasLocation W19637200871 @default.
- W1963720087 hasLocation W19637200872 @default.
- W1963720087 hasLocation W19637200873 @default.
- W1963720087 hasLocation W19637200874 @default.
- W1963720087 hasOpenAccess W1963720087 @default.
- W1963720087 hasPrimaryLocation W19637200871 @default.
- W1963720087 hasRelatedWork W2008607650 @default.
- W1963720087 hasRelatedWork W2045715842 @default.
- W1963720087 hasRelatedWork W2090558690 @default.
- W1963720087 hasRelatedWork W2105880240 @default.
- W1963720087 hasRelatedWork W2349865494 @default.
- W1963720087 hasRelatedWork W2352982982 @default.
- W1963720087 hasRelatedWork W2372553222 @default.
- W1963720087 hasRelatedWork W2925832130 @default.
- W1963720087 hasRelatedWork W3157620392 @default.
- W1963720087 hasRelatedWork W3189264969 @default.
- W1963720087 hasVolume "Volume 4, Issue 2" @default.
- W1963720087 isParatext "false" @default.
- W1963720087 isRetracted "false" @default.
- W1963720087 magId "1963720087" @default.
- W1963720087 workType "article" @default.