Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898853664> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2898853664 abstract "Up-to techniques are used to make it easier—or feasible—to construct, for instance, proofs of bisimilarity. This text shows how many up-to techniques can be framed as size-preserving functions, using sized types to keep track of sizes. Through a number of examples it is argued that this approach to up-to techniques is convenient to use in practice." @default.
- W2898853664 created "2018-11-09" @default.
- W2898853664 creator A5016464590 @default.
- W2898853664 date "2018-01-07" @default.
- W2898853664 modified "2023-09-27" @default.
- W2898853664 title "Up-to Techniques Using Sized Types" @default.
- W2898853664 hasPublicationYear "2018" @default.
- W2898853664 type Work @default.
- W2898853664 sameAs 2898853664 @default.
- W2898853664 citedByCount "1" @default.
- W2898853664 countsByYear W28988536642018 @default.
- W2898853664 crossrefType "proceedings-article" @default.
- W2898853664 hasAuthorship W2898853664A5016464590 @default.
- W2898853664 hasConcept C108710211 @default.
- W2898853664 hasConcept C199360897 @default.
- W2898853664 hasConcept C2524010 @default.
- W2898853664 hasConcept C2780801425 @default.
- W2898853664 hasConcept C33923547 @default.
- W2898853664 hasConcept C41008148 @default.
- W2898853664 hasConcept C80444323 @default.
- W2898853664 hasConceptScore W2898853664C108710211 @default.
- W2898853664 hasConceptScore W2898853664C199360897 @default.
- W2898853664 hasConceptScore W2898853664C2524010 @default.
- W2898853664 hasConceptScore W2898853664C2780801425 @default.
- W2898853664 hasConceptScore W2898853664C33923547 @default.
- W2898853664 hasConceptScore W2898853664C41008148 @default.
- W2898853664 hasConceptScore W2898853664C80444323 @default.
- W2898853664 hasLocation W28988536641 @default.
- W2898853664 hasOpenAccess W2898853664 @default.
- W2898853664 hasPrimaryLocation W28988536641 @default.
- W2898853664 hasRelatedWork W166194254 @default.
- W2898853664 hasRelatedWork W1986749897 @default.
- W2898853664 hasRelatedWork W2045585439 @default.
- W2898853664 hasRelatedWork W2048310720 @default.
- W2898853664 hasRelatedWork W2112913600 @default.
- W2898853664 hasRelatedWork W2333179436 @default.
- W2898853664 hasRelatedWork W2400663584 @default.
- W2898853664 hasRelatedWork W2487157288 @default.
- W2898853664 hasRelatedWork W2531264864 @default.
- W2898853664 hasRelatedWork W2563671149 @default.
- W2898853664 hasRelatedWork W2574219039 @default.
- W2898853664 hasRelatedWork W2763886749 @default.
- W2898853664 hasRelatedWork W2893521538 @default.
- W2898853664 hasRelatedWork W2945132723 @default.
- W2898853664 hasRelatedWork W2950282063 @default.
- W2898853664 hasRelatedWork W2965127139 @default.
- W2898853664 hasRelatedWork W2965255371 @default.
- W2898853664 hasRelatedWork W3205308903 @default.
- W2898853664 hasRelatedWork W656479864 @default.
- W2898853664 hasRelatedWork W658514375 @default.
- W2898853664 isParatext "false" @default.
- W2898853664 isRetracted "false" @default.
- W2898853664 magId "2898853664" @default.
- W2898853664 workType "article" @default.