FRINK Linked Data Fragments server

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

• W2950677431 abstract "Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (backward) interpretation of a certain class of programs. There are several results known for healthiness conditions: for deterministic programs, nondeterministic ones, probabilistic ones, etc. Building upon our previous works on so-called state-and-effect triangles, we contribute a unified categorical framework for investigating healthiness conditions. We find the framework to be centered around a dual adjunction induced by a dualizing object, together with our notion of relative Eilenberg-Moore algebra playing fundamental roles too. The latter notion seems interesting in its own right in the context of monads, Lawvere theories and enriched categories." @default.
• W2950677431 created "2019-06-27" @default.
• W2950677431 creator A5013382452 @default.
• W2950677431 creator A5031956808 @default.
• W2950677431 creator A5042359645 @default.
• W2950677431 creator A5059605078 @default.
• W2950677431 date "2016-05-02" @default.
• W2950677431 modified "2023-10-01" @default.
• W2950677431 title "Healthiness from Duality" @default.
• W2950677431 cites W1492711856 @default.
• W2950677431 cites W1518444163 @default.
• W2950677431 cites W1899098643 @default.
• W2950677431 cites W1965620900 @default.
• W2950677431 cites W1982145886 @default.
• W2950677431 cites W1984184513 @default.
• W2950677431 cites W198993984 @default.
• W2950677431 cites W2024355065 @default.
• W2950677431 cites W2075406361 @default.
• W2950677431 cites W2075776862 @default.
• W2950677431 cites W2083095776 @default.
• W2950677431 cites W2103953153 @default.
• W2950677431 cites W2127203965 @default.
• W2950677431 cites W2141670510 @default.
• W2950677431 cites W2171472101 @default.
• W2950677431 cites W2336123333 @default.
• W2950677431 cites W3022108090 @default.
• W2950677431 cites W3105500087 @default.
• W2950677431 cites W3146075203 @default.
• W2950677431 cites W583126019 @default.
• W2950677431 hasPublicationYear "2016" @default.
• W2950677431 type Work @default.
• W2950677431 sameAs 2950677431 @default.
• W2950677431 citedByCount "0" @default.
• W2950677431 crossrefType "posted-content" @default.
• W2950677431 hasAuthorship W2950677431A5013382452 @default.
• W2950677431 hasAuthorship W2950677431A5031956808 @default.
• W2950677431 hasAuthorship W2950677431A5042359645 @default.
• W2950677431 hasAuthorship W2950677431A5059605078 @default.
• W2950677431 hasConcept C105795698 @default.
• W2950677431 hasConcept C118615104 @default.
• W2950677431 hasConcept C136119220 @default.
• W2950677431 hasConcept C138885662 @default.
• W2950677431 hasConcept C140146324 @default.
• W2950677431 hasConcept C154945302 @default.
• W2950677431 hasConcept C176181172 @default.
• W2950677431 hasConcept C199360897 @default.
• W2950677431 hasConcept C202444582 @default.
• W2950677431 hasConcept C2777212361 @default.
• W2950677431 hasConcept C2778023678 @default.
• W2950677431 hasConcept C2780580338 @default.
• W2950677431 hasConcept C2780980858 @default.
• W2950677431 hasConcept C33923547 @default.
• W2950677431 hasConcept C41008148 @default.
• W2950677431 hasConcept C41895202 @default.
• W2950677431 hasConcept C5274069 @default.
• W2950677431 hasConcept C527412718 @default.
• W2950677431 hasConceptScore W2950677431C105795698 @default.
• W2950677431 hasConceptScore W2950677431C118615104 @default.
• W2950677431 hasConceptScore W2950677431C136119220 @default.
• W2950677431 hasConceptScore W2950677431C138885662 @default.
• W2950677431 hasConceptScore W2950677431C140146324 @default.
• W2950677431 hasConceptScore W2950677431C154945302 @default.
• W2950677431 hasConceptScore W2950677431C176181172 @default.
• W2950677431 hasConceptScore W2950677431C199360897 @default.
• W2950677431 hasConceptScore W2950677431C202444582 @default.
• W2950677431 hasConceptScore W2950677431C2777212361 @default.
• W2950677431 hasConceptScore W2950677431C2778023678 @default.
• W2950677431 hasConceptScore W2950677431C2780580338 @default.
• W2950677431 hasConceptScore W2950677431C2780980858 @default.
• W2950677431 hasConceptScore W2950677431C33923547 @default.
• W2950677431 hasConceptScore W2950677431C41008148 @default.
• W2950677431 hasConceptScore W2950677431C41895202 @default.
• W2950677431 hasConceptScore W2950677431C5274069 @default.
• W2950677431 hasConceptScore W2950677431C527412718 @default.
• W2950677431 hasLocation W29506774311 @default.
• W2950677431 hasOpenAccess W2950677431 @default.
• W2950677431 hasPrimaryLocation W29506774311 @default.
• W2950677431 hasRelatedWork W100383527 @default.
• W2950677431 hasRelatedWork W1504915799 @default.
• W2950677431 hasRelatedWork W1572857229 @default.
• W2950677431 hasRelatedWork W1992539853 @default.
• W2950677431 hasRelatedWork W2073285694 @default.
• W2950677431 hasRelatedWork W2125960523 @default.
• W2950677431 hasRelatedWork W2144561707 @default.
• W2950677431 hasRelatedWork W2181023758 @default.
• W2950677431 hasRelatedWork W2225513349 @default.
• W2950677431 hasRelatedWork W2308690896 @default.
• W2950677431 hasRelatedWork W2577100700 @default.
• W2950677431 hasRelatedWork W2906593381 @default.
• W2950677431 hasRelatedWork W2914099066 @default.
• W2950677431 hasRelatedWork W2950954384 @default.
• W2950677431 hasRelatedWork W3049148892 @default.
• W2950677431 hasRelatedWork W3205862514 @default.
• W2950677431 hasRelatedWork W61495897 @default.
• W2950677431 hasRelatedWork W818727516 @default.
• W2950677431 hasRelatedWork W117886040 @default.
• W2950677431 hasRelatedWork W2462816226 @default.
• W2950677431 isParatext "false" @default.
• W2950677431 isRetracted "false" @default.
• W2950677431 magId "2950677431" @default.

• next