Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113631133> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2113631133 abstract "A mixed induction/coinduction property of relations on recursively defined domains is described, working within a general framework for relations on domains and for actions of type constructors on relations introduced by P.W. O'Hearn and R.D. Tennent (1993), and drawing upon P.J. Freyd's analysis (1991) of recursive types in terms of a simultaneous initiality/finality property. The utility of the mixed induction/coinducton property is demonstrated by deriving a number of families of proof principles from it. One instance of the relational framework yields a family of induction principles for admissible subsets of general recursively defined domains which extends the principle of structural induction for inductively defined sets. Another instance of the framework yields the coinduction principle studied elsewhere by the author, by which equalities between elements of recursively defined domains may be proved via bisimulations. >" @default.
- W2113631133 created "2016-06-24" @default.
- W2113631133 creator A5035484728 @default.
- W2113631133 date "2002-12-31" @default.
- W2113631133 modified "2023-09-25" @default.
- W2113631133 title "Relational properties of recursively defined domains" @default.
- W2113631133 cites W1523016082 @default.
- W2113631133 cites W1544564247 @default.
- W2113631133 cites W1594388366 @default.
- W2113631133 cites W172004165 @default.
- W2113631133 cites W1763165619 @default.
- W2113631133 cites W1977260399 @default.
- W2113631133 cites W1996149734 @default.
- W2113631133 cites W1997143185 @default.
- W2113631133 cites W2024873396 @default.
- W2113631133 cites W2037729105 @default.
- W2113631133 cites W2056010911 @default.
- W2113631133 cites W2088941870 @default.
- W2113631133 cites W2121306658 @default.
- W2113631133 cites W2139837187 @default.
- W2113631133 cites W2912883082 @default.
- W2113631133 cites W79336753 @default.
- W2113631133 doi "https://doi.org/10.1109/lics.1993.287597" @default.
- W2113631133 hasPublicationYear "2002" @default.
- W2113631133 type Work @default.
- W2113631133 sameAs 2113631133 @default.
- W2113631133 citedByCount "9" @default.
- W2113631133 countsByYear W21136311332012 @default.
- W2113631133 crossrefType "proceedings-article" @default.
- W2113631133 hasAuthorship W2113631133A5035484728 @default.
- W2113631133 hasConcept C108710211 @default.
- W2113631133 hasConcept C111472728 @default.
- W2113631133 hasConcept C11413529 @default.
- W2113631133 hasConcept C118615104 @default.
- W2113631133 hasConcept C136119220 @default.
- W2113631133 hasConcept C138885662 @default.
- W2113631133 hasConcept C18903297 @default.
- W2113631133 hasConcept C189950617 @default.
- W2113631133 hasConcept C202444582 @default.
- W2113631133 hasConcept C206743973 @default.
- W2113631133 hasConcept C2524010 @default.
- W2113631133 hasConcept C2777299769 @default.
- W2113631133 hasConcept C33923547 @default.
- W2113631133 hasConcept C40220748 @default.
- W2113631133 hasConcept C41008148 @default.
- W2113631133 hasConcept C80444323 @default.
- W2113631133 hasConcept C86803240 @default.
- W2113631133 hasConceptScore W2113631133C108710211 @default.
- W2113631133 hasConceptScore W2113631133C111472728 @default.
- W2113631133 hasConceptScore W2113631133C11413529 @default.
- W2113631133 hasConceptScore W2113631133C118615104 @default.
- W2113631133 hasConceptScore W2113631133C136119220 @default.
- W2113631133 hasConceptScore W2113631133C138885662 @default.
- W2113631133 hasConceptScore W2113631133C18903297 @default.
- W2113631133 hasConceptScore W2113631133C189950617 @default.
- W2113631133 hasConceptScore W2113631133C202444582 @default.
- W2113631133 hasConceptScore W2113631133C206743973 @default.
- W2113631133 hasConceptScore W2113631133C2524010 @default.
- W2113631133 hasConceptScore W2113631133C2777299769 @default.
- W2113631133 hasConceptScore W2113631133C33923547 @default.
- W2113631133 hasConceptScore W2113631133C40220748 @default.
- W2113631133 hasConceptScore W2113631133C41008148 @default.
- W2113631133 hasConceptScore W2113631133C80444323 @default.
- W2113631133 hasConceptScore W2113631133C86803240 @default.
- W2113631133 hasLocation W21136311331 @default.
- W2113631133 hasOpenAccess W2113631133 @default.
- W2113631133 hasPrimaryLocation W21136311331 @default.
- W2113631133 hasRelatedWork W1552293489 @default.
- W2113631133 hasRelatedWork W1601637482 @default.
- W2113631133 hasRelatedWork W191222814 @default.
- W2113631133 hasRelatedWork W1945946994 @default.
- W2113631133 hasRelatedWork W1996149734 @default.
- W2113631133 hasRelatedWork W2004268594 @default.
- W2113631133 hasRelatedWork W2015534565 @default.
- W2113631133 hasRelatedWork W2015943153 @default.
- W2113631133 hasRelatedWork W2034043336 @default.
- W2113631133 hasRelatedWork W2036426487 @default.
- W2113631133 hasRelatedWork W2044306290 @default.
- W2113631133 hasRelatedWork W2092707571 @default.
- W2113631133 hasRelatedWork W2120713972 @default.
- W2113631133 hasRelatedWork W2130922919 @default.
- W2113631133 hasRelatedWork W2147896991 @default.
- W2113631133 hasRelatedWork W2213176044 @default.
- W2113631133 hasRelatedWork W224755766 @default.
- W2113631133 hasRelatedWork W2255741277 @default.
- W2113631133 hasRelatedWork W3038128296 @default.
- W2113631133 hasRelatedWork W2497399989 @default.
- W2113631133 isParatext "false" @default.
- W2113631133 isRetracted "false" @default.
- W2113631133 magId "2113631133" @default.
- W2113631133 workType "article" @default.