Pages that link to "Item:Q5370888"
From MaRDI portal
The following pages link to A semantic account of metric preservation (Q5370888):
Displayed 5 items.
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
- Differential logical relations, Part I: The simply-typed case (Q5091273) (← links)