Weakest preconditions in fibrations (Q5058365): Difference between revisions

@@ Property / cites work @@
+Weakest preconditions in fibrations
@@ Property / cites work: Weakest preconditions in fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Dijkstra monads for free
@@ Property / cites work: Dijkstra monads for free / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Up-To Techniques for Behavioural Metrics via Fibrations
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+On the relations between monadic semantics
@@ Property / cites work: On the relations between monadic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
+Normal rank
@@ Property / cites work @@
+Logical relations for monadic types
@@ Property / cites work: Logical relations for monadic types / rank @@
+Normal rank
@@ Property / cites work @@
+Combining probabilistic and non-deterministic choice via weak distributive laws
+Normal rank
@@ Property / cites work @@
+Generic weakest precondition semantics from monads enriched with order
+Normal rank
@@ Property / cites work @@
+Healthiness from Duality
@@ Property / cites work: Healthiness from Duality / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Codensity Lifting of Monads and its Dual
@@ Property / cites work: Codensity Lifting of Monads and its Dual / rank @@
+Normal rank
@@ Property / cites work @@
+Q5664060
@@ Property / cites work: Q5664060 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3432078
@@ Property / cites work: Q3432078 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare Logic in the Abstract
@@ Property / cites work: Hoare Logic in the Abstract / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Functors are Type Refinement Systems
@@ Property / cites work: Functors are Type Refinement Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327833
@@ Property / cites work: Q4327833 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound Over-Approximation of Probabilities
@@ Property / cites work: Sound Over-Approximation of Probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499144
@@ Property / cites work: Q4499144 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for Algebraic Operations
@@ Property / cites work: Semantics for Algebraic Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Hoare Logic for Order-Enriched Effects with Exceptions
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative logics for equivalence of effectful programs
+Normal rank
@@ Property / cites work @@
+Indexed and fibred structures for Hoare logic
@@ Property / cites work: Indexed and fibred structures for Hoare logic / rank @@
+Normal rank