Pages that link to "Item:Q5009431"
From MaRDI portal
The following pages link to Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431):
Displaying 16 items.
- Hausdorff coalgebras (Q2024924) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- (Q5028440) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- (Q5089290) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- A monoidal view on fixpoint checks (Q6535504) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad (Q6605363) (← links)
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)
