Matches in SemOpenAlex for { <https://semopenalex.org/work/W69403480> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W69403480 endingPage "255" @default.
- W69403480 startingPage "242" @default.
- W69403480 abstract "AbstractIn this paper we study decision problems and invertibility for two notions of equivalence of recursive types. In particular, for recursive types presented by means of a recursion operator μ, we describe an algorithm showing that the natural equivalence generated by finitely many steps of folding and unfolding of μ-types is decidable. For recursive types presented by finite systems of recursive equations, we give a thoroughly coinductive characterization of the equivalence induced by their interpretation as infinite (regular) trees, from which the decidability of this equivalence follows. A formal proof of the former result, to our knowledge, has never appeared in the literature. The latter result, on the contrary, is known but we present here a new proof obtained as an application of general coalgebraic facts to the theory of recursive types. From these results invertibility is easily proved for both equivalences.KeywordsType StructureDecidability PropertyRecursion OperatorType ConstraintLambda CalculusThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W69403480 created "2016-06-24" @default.
- W69403480 creator A5018907550 @default.
- W69403480 creator A5024664392 @default.
- W69403480 date "2003-01-01" @default.
- W69403480 modified "2023-09-25" @default.
- W69403480 title "Decidability Properties of Recursive Types" @default.
- W69403480 cites W1518395686 @default.
- W69403480 cites W1544633123 @default.
- W69403480 cites W1552951486 @default.
- W69403480 cites W1569362442 @default.
- W69403480 cites W1918523847 @default.
- W69403480 cites W1967781795 @default.
- W69403480 cites W2079958455 @default.
- W69403480 cites W2088189323 @default.
- W69403480 cites W2090415524 @default.
- W69403480 cites W2104603764 @default.
- W69403480 cites W2166822586 @default.
- W69403480 cites W3105293377 @default.
- W69403480 cites W31746626 @default.
- W69403480 cites W4212868911 @default.
- W69403480 cites W4212983671 @default.
- W69403480 cites W4255232314 @default.
- W69403480 doi "https://doi.org/10.1007/978-3-540-45208-9_20" @default.
- W69403480 hasPublicationYear "2003" @default.
- W69403480 type Work @default.
- W69403480 sameAs 69403480 @default.
- W69403480 citedByCount "4" @default.
- W69403480 crossrefType "book-chapter" @default.
- W69403480 hasAuthorship W69403480A5018907550 @default.
- W69403480 hasAuthorship W69403480A5024664392 @default.
- W69403480 hasConcept C108710211 @default.
- W69403480 hasConcept C11413529 @default.
- W69403480 hasConcept C118615104 @default.
- W69403480 hasConcept C135315306 @default.
- W69403480 hasConcept C136119220 @default.
- W69403480 hasConcept C153269930 @default.
- W69403480 hasConcept C156103551 @default.
- W69403480 hasConcept C168773036 @default.
- W69403480 hasConcept C18903297 @default.
- W69403480 hasConcept C199360897 @default.
- W69403480 hasConcept C202444582 @default.
- W69403480 hasConcept C2524010 @default.
- W69403480 hasConcept C2777299769 @default.
- W69403480 hasConcept C2780069185 @default.
- W69403480 hasConcept C2982939207 @default.
- W69403480 hasConcept C33923547 @default.
- W69403480 hasConcept C40220748 @default.
- W69403480 hasConcept C41008148 @default.
- W69403480 hasConcept C527412718 @default.
- W69403480 hasConcept C80444323 @default.
- W69403480 hasConcept C85955891 @default.
- W69403480 hasConcept C86803240 @default.
- W69403480 hasConcept C93682546 @default.
- W69403480 hasConceptScore W69403480C108710211 @default.
- W69403480 hasConceptScore W69403480C11413529 @default.
- W69403480 hasConceptScore W69403480C118615104 @default.
- W69403480 hasConceptScore W69403480C135315306 @default.
- W69403480 hasConceptScore W69403480C136119220 @default.
- W69403480 hasConceptScore W69403480C153269930 @default.
- W69403480 hasConceptScore W69403480C156103551 @default.
- W69403480 hasConceptScore W69403480C168773036 @default.
- W69403480 hasConceptScore W69403480C18903297 @default.
- W69403480 hasConceptScore W69403480C199360897 @default.
- W69403480 hasConceptScore W69403480C202444582 @default.
- W69403480 hasConceptScore W69403480C2524010 @default.
- W69403480 hasConceptScore W69403480C2777299769 @default.
- W69403480 hasConceptScore W69403480C2780069185 @default.
- W69403480 hasConceptScore W69403480C2982939207 @default.
- W69403480 hasConceptScore W69403480C33923547 @default.
- W69403480 hasConceptScore W69403480C40220748 @default.
- W69403480 hasConceptScore W69403480C41008148 @default.
- W69403480 hasConceptScore W69403480C527412718 @default.
- W69403480 hasConceptScore W69403480C80444323 @default.
- W69403480 hasConceptScore W69403480C85955891 @default.
- W69403480 hasConceptScore W69403480C86803240 @default.
- W69403480 hasConceptScore W69403480C93682546 @default.
- W69403480 hasLocation W694034801 @default.
- W69403480 hasOpenAccess W69403480 @default.
- W69403480 hasPrimaryLocation W694034801 @default.
- W69403480 hasRelatedWork W1551036056 @default.
- W69403480 hasRelatedWork W1802255488 @default.
- W69403480 hasRelatedWork W1968948318 @default.
- W69403480 hasRelatedWork W2103838550 @default.
- W69403480 hasRelatedWork W2133055704 @default.
- W69403480 hasRelatedWork W2950660121 @default.
- W69403480 hasRelatedWork W3000405346 @default.
- W69403480 hasRelatedWork W3146192750 @default.
- W69403480 hasRelatedWork W4213218647 @default.
- W69403480 hasRelatedWork W69403480 @default.
- W69403480 isParatext "false" @default.
- W69403480 isRetracted "false" @default.
- W69403480 magId "69403480" @default.
- W69403480 workType "book-chapter" @default.