Quantitative equality in substructural logic via Lipschitz doctrines
From MaRDI portal
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
- Adjointness in Foundations
- An algebraic theory of Markov processes
- Bounded linear logic: A modular approach to polynomial-time computability
- 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
- Formal techniques for distributed objects, components, and systems. 34th IFIP WG 6.1 international conference, FORTE 2014, held as Part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June
- Generalized Bisimulation Metrics
- Geometry of Interaction and linear combinatory algebras
- Graded modal dependent type theory
- Handbook of logic in computer science. Vol. 5: Logical and algebraic methods
- 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?)
- scientific article; zbMATH DE number 7700608 (Why is no real title available?)
- Integrating linear and dependent types
- Linear logic
- Linear Realizability
- Logical foundations of quantitative equality
- 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
- Monads for which structures are adjoint to units
- Quantitative Algebraic Reasoning
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
- Quotient completion for the foundation of constructive mathematics
- Realizability. An introduction to its categorical side
- Syntax and semantics of quantitative type theory
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Unifying exact completions
- Varieties of quantitative algebras and their monads
This page was built for publication: Quantitative equality in substructural logic via Lipschitz doctrines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034351)
