A complete V-equational system for graded -calculus
From MaRDI portal
Publication:6831475
Cites work
- A core quantitative coeffect calculus
- A double category theoretic analysis of graded linear exponential comonads
- An explicit formula for the free exponential modality of linear logic
- An internal language for categories enriched over generalised metric spaces
- An introduction to quantaloid-enriched categories
- Bounded linear logic: A modular approach to polynomial-time computability
- Combining effects and coeffects via grading
- Continuous Lattices and Domains
- Distance makes the types grow stronger: a calculus for differential privacy
- Extending set functors to generalised metric spaces
- Finitary monads on the category of posets
- Finite exchangeable sequences
- Hausdorff coalgebras
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 2079022 (Why is no real title available?)
- scientific article; zbMATH DE number 1869203 (Why is no real title available?)
- scientific article; zbMATH DE number 7297850 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- Implementing hybrid semantics: from functional to imperative
- Logical foundations of quantitative equality
- Metric monads
- Metric reasoning about λ-terms: The affine case
- Metric reasoning about -terms: the general case
- Metric spaces, generalized logic, and closed categories
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- On Quantitative Algebraic Higher-Order Theories
- Quantitative Algebraic Reasoning
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
- Quantum computation and quantum information. 10th anniversary edition
- Representable multicategories
- Semantics of Probabilistic Programming: A Gentle Introduction
- Symmetric Tensors and Symmetric Tensor Rank
- Towards a formal theory of graded monads
This page was built for publication: A complete \(\mathcal{V}\)-equational system for graded \(\lambda\)-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831475)
