FRINK Linked Data Fragments server

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

• W2010663699 endingPage "219" @default.
• W2010663699 startingPage "195" @default.
• W2010663699 abstract "This paper establishes a new property of predomains recursively defined using the cartesian product, disjoint union, partial function space and convex powerdomain constructors. We prove that the partial order on such a recursive predomain D is the greatest fixed point of a certain monotone operator associated to D. This provides a structurally defined family of proof principles for these recursive predomains: to show that one element of D approximates another, it suffices to find a binary relation containing the two elements that is a post-fixed point for the associated monotone operator. The statement of the proof principles is independent of any of the various methods available for explicit construction of recursive predomains. Following Milner and Tofte (1991), the method of proof is called co-induction. It closely resembles the way bisimulations are used in concurrent process calculi (Milner 1989). Two specific instances of the co-induction principle already occur in the work of Abramsky (1990, 1991) in the form of “internal full abstraction” theorems for denotational semantics of SCCS and lazy lambda calculus. In the first case post-fixed binary relations are precisely Abramsky's partial bisimulations, whereas in the second case they are his applicative bisimulations. The co-induction principle also provides an apparently useful tool for reasoning about equality of elements of recursively defined datatypes in (strict or lazy) higher-order functional programming languages." @default.
• W2010663699 created "2016-06-24" @default.
• W2010663699 creator A5035484728 @default.
• W2010663699 date "1994-02-01" @default.
• W2010663699 modified "2023-10-18" @default.
• W2010663699 title "A co-induction principle for recursively defined domains" @default.
• W2010663699 cites W1978375202 @default.
• W2010663699 cites W2024873396 @default.
• W2010663699 cites W2062024564 @default.
• W2010663699 cites W2071095465 @default.
• W2010663699 cites W2088941870 @default.
• W2010663699 doi "https://doi.org/10.1016/0304-3975(94)90014-0" @default.
• W2010663699 hasPublicationYear "1994" @default.
• W2010663699 type Work @default.
• W2010663699 sameAs 2010663699 @default.
• W2010663699 citedByCount "53" @default.
• W2010663699 countsByYear W20106636992015 @default.
• W2010663699 countsByYear W20106636992016 @default.
• W2010663699 countsByYear W20106636992020 @default.
• W2010663699 crossrefType "journal-article" @default.
• W2010663699 hasAuthorship W2010663699A5035484728 @default.
• W2010663699 hasBestOaLocation W20106636991 @default.
• W2010663699 hasConcept C104317684 @default.
• W2010663699 hasConcept C118615104 @default.
• W2010663699 hasConcept C134306372 @default.
• W2010663699 hasConcept C135790938 @default.
• W2010663699 hasConcept C156325763 @default.
• W2010663699 hasConcept C158448853 @default.
• W2010663699 hasConcept C17020691 @default.
• W2010663699 hasConcept C180645754 @default.
• W2010663699 hasConcept C182359184 @default.
• W2010663699 hasConcept C184337299 @default.
• W2010663699 hasConcept C185529760 @default.
• W2010663699 hasConcept C185592680 @default.
• W2010663699 hasConcept C193702766 @default.
• W2010663699 hasConcept C199360897 @default.
• W2010663699 hasConcept C206743973 @default.
• W2010663699 hasConcept C206929604 @default.
• W2010663699 hasConcept C207648694 @default.
• W2010663699 hasConcept C2524010 @default.
• W2010663699 hasConcept C27333817 @default.
• W2010663699 hasConcept C2778003309 @default.
• W2010663699 hasConcept C2780432614 @default.
• W2010663699 hasConcept C2834757 @default.
• W2010663699 hasConcept C28642324 @default.
• W2010663699 hasConcept C29585364 @default.
• W2010663699 hasConcept C33923547 @default.
• W2010663699 hasConcept C41008148 @default.
• W2010663699 hasConcept C42383842 @default.
• W2010663699 hasConcept C45962547 @default.
• W2010663699 hasConcept C55493867 @default.
• W2010663699 hasConcept C61445026 @default.
• W2010663699 hasConcept C65180967 @default.
• W2010663699 hasConcept C80444323 @default.
• W2010663699 hasConcept C86339819 @default.
• W2010663699 hasConcept C9986523 @default.
• W2010663699 hasConceptScore W2010663699C104317684 @default.
• W2010663699 hasConceptScore W2010663699C118615104 @default.
• W2010663699 hasConceptScore W2010663699C134306372 @default.
• W2010663699 hasConceptScore W2010663699C135790938 @default.
• W2010663699 hasConceptScore W2010663699C156325763 @default.
• W2010663699 hasConceptScore W2010663699C158448853 @default.
• W2010663699 hasConceptScore W2010663699C17020691 @default.
• W2010663699 hasConceptScore W2010663699C180645754 @default.
• W2010663699 hasConceptScore W2010663699C182359184 @default.
• W2010663699 hasConceptScore W2010663699C184337299 @default.
• W2010663699 hasConceptScore W2010663699C185529760 @default.
• W2010663699 hasConceptScore W2010663699C185592680 @default.
• W2010663699 hasConceptScore W2010663699C193702766 @default.
• W2010663699 hasConceptScore W2010663699C199360897 @default.
• W2010663699 hasConceptScore W2010663699C206743973 @default.
• W2010663699 hasConceptScore W2010663699C206929604 @default.
• W2010663699 hasConceptScore W2010663699C207648694 @default.
• W2010663699 hasConceptScore W2010663699C2524010 @default.
• W2010663699 hasConceptScore W2010663699C27333817 @default.
• W2010663699 hasConceptScore W2010663699C2778003309 @default.
• W2010663699 hasConceptScore W2010663699C2780432614 @default.
• W2010663699 hasConceptScore W2010663699C2834757 @default.
• W2010663699 hasConceptScore W2010663699C28642324 @default.
• W2010663699 hasConceptScore W2010663699C29585364 @default.
• W2010663699 hasConceptScore W2010663699C33923547 @default.
• W2010663699 hasConceptScore W2010663699C41008148 @default.
• W2010663699 hasConceptScore W2010663699C42383842 @default.
• W2010663699 hasConceptScore W2010663699C45962547 @default.
• W2010663699 hasConceptScore W2010663699C55493867 @default.
• W2010663699 hasConceptScore W2010663699C61445026 @default.
• W2010663699 hasConceptScore W2010663699C65180967 @default.
• W2010663699 hasConceptScore W2010663699C80444323 @default.
• W2010663699 hasConceptScore W2010663699C86339819 @default.
• W2010663699 hasConceptScore W2010663699C9986523 @default.
• W2010663699 hasIssue "2" @default.
• W2010663699 hasLocation W20106636991 @default.
• W2010663699 hasLocation W20106636992 @default.
• W2010663699 hasOpenAccess W2010663699 @default.
• W2010663699 hasPrimaryLocation W20106636991 @default.
• W2010663699 hasRelatedWork W1860761177 @default.
• W2010663699 hasRelatedWork W2010663699 @default.
• W2010663699 hasRelatedWork W2034758493 @default.

• next