Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964208511> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2964208511 abstract "Cyclic data structures, such as cyclic lists, in functional programming aretricky to handle because of their cyclicity. This paper presents aninvestigation of categorical, algebraic, and computational foundations ofcyclic datatypes. Our framework of cyclic datatypes is based on second-orderalgebraic theories of Fiore et al., which give a uniform setting for syntax,types, and computation rules for describing and reasoning about cyclicdatatypes. We extract the fold computation rules from the categoricalsemantics based on iteration categories of Bloom and Esik. Thereby, the rulesare correct by construction. We prove strong normalisation using the GeneralSchema criterion for second-order computation rules. Rather than the fixedpoint law, we particularly choose Bekic law for computation, which is a key toobtaining strong normalisation. We also prove the property of Church-Rossermodulo bisimulation for the computation rules. Combining these results, wehave a remarkable decidability result of the equational theory of cyclic dataand fold." @default.
- W2964208511 created "2019-07-30" @default.
- W2964208511 creator A5081721784 @default.
- W2964208511 date "2017-11-15" @default.
- W2964208511 modified "2023-09-27" @default.
- W2964208511 title "Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories" @default.
- W2964208511 hasPublicationYear "2017" @default.
- W2964208511 type Work @default.
- W2964208511 sameAs 2964208511 @default.
- W2964208511 citedByCount "0" @default.
- W2964208511 crossrefType "journal-article" @default.
- W2964208511 hasAuthorship W2964208511A5081721784 @default.
- W2964208511 hasConcept C11413529 @default.
- W2964208511 hasConcept C118615104 @default.
- W2964208511 hasConcept C119857082 @default.
- W2964208511 hasConcept C134306372 @default.
- W2964208511 hasConcept C135315306 @default.
- W2964208511 hasConcept C135790938 @default.
- W2964208511 hasConcept C136119220 @default.
- W2964208511 hasConcept C153269930 @default.
- W2964208511 hasConcept C154945302 @default.
- W2964208511 hasConcept C18903297 @default.
- W2964208511 hasConcept C202444582 @default.
- W2964208511 hasConcept C20528804 @default.
- W2964208511 hasConcept C2777299769 @default.
- W2964208511 hasConcept C2779782106 @default.
- W2964208511 hasConcept C33923547 @default.
- W2964208511 hasConcept C41008148 @default.
- W2964208511 hasConcept C42383842 @default.
- W2964208511 hasConcept C45374587 @default.
- W2964208511 hasConcept C52146309 @default.
- W2964208511 hasConcept C54732982 @default.
- W2964208511 hasConcept C60048249 @default.
- W2964208511 hasConcept C80444323 @default.
- W2964208511 hasConcept C86803240 @default.
- W2964208511 hasConcept C93682546 @default.
- W2964208511 hasConcept C9376300 @default.
- W2964208511 hasConceptScore W2964208511C11413529 @default.
- W2964208511 hasConceptScore W2964208511C118615104 @default.
- W2964208511 hasConceptScore W2964208511C119857082 @default.
- W2964208511 hasConceptScore W2964208511C134306372 @default.
- W2964208511 hasConceptScore W2964208511C135315306 @default.
- W2964208511 hasConceptScore W2964208511C135790938 @default.
- W2964208511 hasConceptScore W2964208511C136119220 @default.
- W2964208511 hasConceptScore W2964208511C153269930 @default.
- W2964208511 hasConceptScore W2964208511C154945302 @default.
- W2964208511 hasConceptScore W2964208511C18903297 @default.
- W2964208511 hasConceptScore W2964208511C202444582 @default.
- W2964208511 hasConceptScore W2964208511C20528804 @default.
- W2964208511 hasConceptScore W2964208511C2777299769 @default.
- W2964208511 hasConceptScore W2964208511C2779782106 @default.
- W2964208511 hasConceptScore W2964208511C33923547 @default.
- W2964208511 hasConceptScore W2964208511C41008148 @default.
- W2964208511 hasConceptScore W2964208511C42383842 @default.
- W2964208511 hasConceptScore W2964208511C45374587 @default.
- W2964208511 hasConceptScore W2964208511C52146309 @default.
- W2964208511 hasConceptScore W2964208511C54732982 @default.
- W2964208511 hasConceptScore W2964208511C60048249 @default.
- W2964208511 hasConceptScore W2964208511C80444323 @default.
- W2964208511 hasConceptScore W2964208511C86803240 @default.
- W2964208511 hasConceptScore W2964208511C93682546 @default.
- W2964208511 hasConceptScore W2964208511C9376300 @default.
- W2964208511 hasLocation W29642085111 @default.
- W2964208511 hasOpenAccess W2964208511 @default.
- W2964208511 hasPrimaryLocation W29642085111 @default.
- W2964208511 hasRelatedWork W1547751563 @default.
- W2964208511 hasRelatedWork W1551053236 @default.
- W2964208511 hasRelatedWork W1602859993 @default.
- W2964208511 hasRelatedWork W1676392646 @default.
- W2964208511 hasRelatedWork W1848485899 @default.
- W2964208511 hasRelatedWork W1908505045 @default.
- W2964208511 hasRelatedWork W1970672922 @default.
- W2964208511 hasRelatedWork W2011998974 @default.
- W2964208511 hasRelatedWork W2085025498 @default.
- W2964208511 hasRelatedWork W2128992690 @default.
- W2964208511 hasRelatedWork W2139395851 @default.
- W2964208511 hasRelatedWork W2148870725 @default.
- W2964208511 hasRelatedWork W2479043907 @default.
- W2964208511 hasRelatedWork W2530648415 @default.
- W2964208511 hasRelatedWork W2548622894 @default.
- W2964208511 hasRelatedWork W2616349957 @default.
- W2964208511 hasRelatedWork W2907351305 @default.
- W2964208511 hasRelatedWork W3000405346 @default.
- W2964208511 hasRelatedWork W3145886794 @default.
- W2964208511 hasRelatedWork W67633796 @default.
- W2964208511 hasVolume "13" @default.
- W2964208511 isParatext "false" @default.
- W2964208511 isRetracted "false" @default.
- W2964208511 magId "2964208511" @default.
- W2964208511 workType "article" @default.