Differential logical relations. I: The simply-typed case
From MaRDI portal
Publication:5091273
Recommendations
Cites work
- A behavioural pseudometric for probabilistic transition systems
- A semantic account of metric preservation
- Abstract Interpretation, Logical Relations, and Kan Extensions
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- Change actions: models of generalised differentiation
- Denotational semantics in the cpo and metric approach
- Distance makes the types grow stronger: a calculus for differential privacy
- Generalized Bisimulation Metrics
- scientific article; zbMATH DE number 3750266 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 1754609 (Why is no real title available?)
- scientific article; zbMATH DE number 3423547 (Why is no real title available?)
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- Metric reasoning about λ-terms: The affine case
- Metric reasoning about -terms: the general case
- Metric spaces, generalized logic, and closed categories
- Metrics for labelled Markov processes
- Monoidal topology. A categorical approach to order, metric, and topology
- Partial metric spaces
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
Cited in
(13)- Differential logical relations. II: Increments and derivatives
- On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
- A semantic account of metric preservation
- A fibrational tale of operational logical relations: pure, effectful and differential
- Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad
- Logical predicates in higher-order mathematical operational semantics
- Logical foundations of quantitative equality
- A partial metric semantics of higher-order types and approximate program transformations
- Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
- Contextual behavioural metrics
- Bialgebraic reasoning on higher-order program equivalence
- Quantitative equality in substructural logic via Lipschitz doctrines
- The lambda calculus is quantifiable
This page was built for publication: Differential logical relations. I: The simply-typed case
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5091273)
