Logical foundations of quantitative equality
From MaRDI portal
Recommendations
Cites work
- A behavioural pseudometric for probabilistic transition systems
- A categorical semantics for linear logical frameworks
- A co-free construction for elementary doctrines
- A core quantitative coeffect calculus
- A double category theoretic analysis of graded linear exponential comonads
- A linear logical framework
- A semantic account of metric preservation
- Adjointness in Foundations
- An algebraic theory of Markov processes
- Bounded linear logic: A modular approach to polynomial-time computability
- Categorical logic and type theory
- Coeffects: a calculus of context-dependent computation
- Combining effects and coeffects via grading
- Denotational semantics in the cpo and metric approach
- Differential logical relations. I: The simply-typed case
- Distance makes the types grow stronger: a calculus for differential privacy
- Doctrines, modalities and comonads
- Elementary doctrines as coalgebras
- Elementary quotient completion
- Equality in linear logic
- Generalized Bisimulation Metrics
- Geometry of Interaction and linear combinatory algebras
- Graded modal dependent type theory
- scientific article; zbMATH DE number 4103051 (Why is no real title available?)
- scientific article; zbMATH DE number 956469 (Why is no real title available?)
- scientific article; zbMATH DE number 7297850 (Why is no real title available?)
- scientific article; zbMATH DE number 3370546 (Why is no real title available?)
- Integrating linear and dependent types
- Linear logic
- Linear Realizability
- Metric reasoning about -terms: the general case
- Metric spaces, generalized logic, and closed categories
- Metrics for labelled Markov processes
- Modelling coeffects in the relational semantics of linear logic
- Probabilistic relational reasoning for differential privacy
- Quantitative Algebraic Reasoning
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
- Quantitative Equational Reasoning
- Quotient completion for the foundation of constructive mathematics
- Syntax and semantics of quantitative type theory
- Unifying exact completions
Cited in
(6)- Quotients and extensionality in relational doctrines
- A complete \(\mathcal{V}\)-equational system for graded \(\lambda\)-calculus
- The relational quotient completion
- Cauchy completions and the rule of unique choice in relational doctrines
- Quantitative equality in substructural logic via Lipschitz doctrines
- Universal quantitative algebra for fuzzy relations and generalised metric spaces
This page was built for publication: Logical foundations of quantitative equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649445)
