Pages that link to "Item:Q5145320"
From MaRDI portal
The following pages link to Quantitative Behavioural Reasoning for Higher-order Effectful Programs (Q5145320):
Displaying 15 items.
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Approximation, solution operators and quantale-valued metrics (Q2407702) (← links)
- Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
- (Q5020616) (← links)
- Differential logical relations, Part I: The simply-typed case (Q5091273) (← links)
- (Q5094149) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
- The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← 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)
- Logical foundations of quantitative equality (Q6649445) (← links)
