FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3191632648> ?p ?o ?g. }

• W3191632648 abstract "We present Clocked Cubical Type Theory, the first type theory combining multi-clocked guarded recursion with the features of Cubical Type Theory. Guarded recursion is an abstract form of step-indexing, which can be used for construction of advanced programming language models. In its multi-clocked version, it can also be used for coinductive programming and reasoning, encoding productivity in types. Combining this with Higher Inductive Types (HITs) the encoding extends to coinductive types that are traditionally hard to represent in type theory, such as the type of finitely branching labelled transition systems." @default.
• W3191632648 created "2021-08-16" @default.
• W3191632648 creator A5004239126 @default.
• W3191632648 creator A5045780288 @default.
• W3191632648 creator A5066208562 @default.
• W3191632648 date "2022-08-02" @default.
• W3191632648 modified "2023-09-27" @default.
• W3191632648 title "Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks" @default.
• W3191632648 cites W1991984504 @default.
• W3191632648 cites W2020263799 @default.
• W3191632648 cites W2042266169 @default.
• W3191632648 cites W2085552917 @default.
• W3191632648 cites W2116813111 @default.
• W3191632648 cites W2132181573 @default.
• W3191632648 cites W2148275052 @default.
• W3191632648 cites W2171496589 @default.
• W3191632648 cites W2182079433 @default.
• W3191632648 cites W2743482027 @default.
• W3191632648 cites W2751878617 @default.
• W3191632648 cites W2765937481 @default.
• W3191632648 cites W2767001837 @default.
• W3191632648 cites W2775951081 @default.
• W3191632648 cites W2803229276 @default.
• W3191632648 cites W2899103964 @default.
• W3191632648 cites W2900323387 @default.
• W3191632648 cites W2962873201 @default.
• W3191632648 cites W2963638222 @default.
• W3191632648 cites W2963955593 @default.
• W3191632648 cites W2964029175 @default.
• W3191632648 cites W2964301529 @default.
• W3191632648 cites W2964835846 @default.
• W3191632648 cites W3002997625 @default.
• W3191632648 cites W3021830519 @default.
• W3191632648 cites W3022922601 @default.
• W3191632648 cites W3030119148 @default.
• W3191632648 cites W3105116513 @default.
• W3191632648 cites W4200558465 @default.
• W3191632648 cites W4229652664 @default.
• W3191632648 cites W4254411838 @default.
• W3191632648 cites W4293770342 @default.
• W3191632648 doi "https://doi.org/10.1145/3531130.3533359" @default.
• W3191632648 hasPublicationYear "2022" @default.
• W3191632648 type Work @default.
• W3191632648 sameAs 3191632648 @default.
• W3191632648 citedByCount "1" @default.
• W3191632648 countsByYear W31916326482022 @default.
• W3191632648 crossrefType "proceedings-article" @default.
• W3191632648 hasAuthorship W3191632648A5004239126 @default.
• W3191632648 hasAuthorship W3191632648A5045780288 @default.
• W3191632648 hasAuthorship W3191632648A5066208562 @default.
• W3191632648 hasBestOaLocation W31916326482 @default.
• W3191632648 hasConcept C108710211 @default.
• W3191632648 hasConcept C136119220 @default.
• W3191632648 hasConcept C168773036 @default.
• W3191632648 hasConcept C18903297 @default.
• W3191632648 hasConcept C199360897 @default.
• W3191632648 hasConcept C202444582 @default.
• W3191632648 hasConcept C2524010 @default.
• W3191632648 hasConcept C2777299769 @default.
• W3191632648 hasConcept C33923547 @default.
• W3191632648 hasConcept C40220748 @default.
• W3191632648 hasConcept C41008148 @default.
• W3191632648 hasConcept C42383842 @default.
• W3191632648 hasConcept C80444323 @default.
• W3191632648 hasConcept C86803240 @default.
• W3191632648 hasConcept C93682546 @default.
• W3191632648 hasConceptScore W3191632648C108710211 @default.
• W3191632648 hasConceptScore W3191632648C136119220 @default.
• W3191632648 hasConceptScore W3191632648C168773036 @default.
• W3191632648 hasConceptScore W3191632648C18903297 @default.
• W3191632648 hasConceptScore W3191632648C199360897 @default.
• W3191632648 hasConceptScore W3191632648C202444582 @default.
• W3191632648 hasConceptScore W3191632648C2524010 @default.
• W3191632648 hasConceptScore W3191632648C2777299769 @default.
• W3191632648 hasConceptScore W3191632648C33923547 @default.
• W3191632648 hasConceptScore W3191632648C40220748 @default.
• W3191632648 hasConceptScore W3191632648C41008148 @default.
• W3191632648 hasConceptScore W3191632648C42383842 @default.
• W3191632648 hasConceptScore W3191632648C80444323 @default.
• W3191632648 hasConceptScore W3191632648C86803240 @default.
• W3191632648 hasConceptScore W3191632648C93682546 @default.
• W3191632648 hasFunder F4320310490 @default.
• W3191632648 hasLocation W31916326481 @default.
• W3191632648 hasLocation W31916326482 @default.
• W3191632648 hasLocation W31916326483 @default.
• W3191632648 hasOpenAccess W3191632648 @default.
• W3191632648 hasPrimaryLocation W31916326481 @default.
• W3191632648 hasRelatedWork W1532335840 @default.
• W3191632648 hasRelatedWork W1803721540 @default.
• W3191632648 hasRelatedWork W2020914843 @default.
• W3191632648 hasRelatedWork W2128992690 @default.
• W3191632648 hasRelatedWork W2142224267 @default.
• W3191632648 hasRelatedWork W2796955244 @default.
• W3191632648 hasRelatedWork W2945188579 @default.
• W3191632648 hasRelatedWork W3191632648 @default.
• W3191632648 hasRelatedWork W4287182591 @default.
• W3191632648 hasRelatedWork W4287332478 @default.
• W3191632648 isParatext "false" @default.
• W3191632648 isRetracted "false" @default.
• W3191632648 magId "3191632648" @default.

• next