The syntactic side of autonomous categories enriched over generalised metric spaces
From MaRDI portal
Publication:6178714
DOI10.46298/lmcs-19(4:31)2023arXiv2208.14356OpenAlexW4389978308MaRDI QIDQ6178714
Fredrik Dahlqvist, Renato Neves
Publication date: 16 January 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2208.14356
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An introduction to quantaloid-enriched categories
- A universal property of the convolution monoidal structure
- Semantics of probabilistic programs
- Bounded linear logic: A modular approach to polynomial-time computability
- An internal language for autonomous categories
- Quantum walks: a comprehensive review
- Relating categorical semantics for intuitionistic linear logic
- Hausdorff coalgebras
- Morita equivalence of many-sorted algebraic theories
- Combining effects and coeffects via grading
- Metric Reasoning About $$\lambda $$-Terms: The General Case
- Universal Properties in Quantum Theory
- Metric spaces, generalized logic, and closed categories
- Categories for Types
- The Theory of Quantum Information
- Extending set functors to generalised metric spaces
- Metric reasoning about λ-terms: The affine case
- Quantitative Algebraic Reasoning
- Continuous Lattices and Domains
- Towards a quantum programming language
- Non-Hausdorff Topology and Domain Theory
- A practical type theory for symmetric monoidal categories
- Finitary monads on the category of posets
- Metric monads
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
- Distance makes the types grow stronger
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- On closed categories of functors
This page was built for publication: The syntactic side of autonomous categories enriched over generalised metric spaces