Pages that link to "Item:Q5145320"
From MaRDI portal
The following pages link to Quantitative Behavioural Reasoning for Higher-order Effectful Programs (Q5145320):
Displaying 12 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)
