scientific article; zbMATH DE number 7453172
From MaRDI portal
Publication:5020625
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/2005.00208
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Cites Work
- Weyl algebras and knots
- A categorical framework for the quantum harmonic oscillator
- New foundations for the geometry of interaction
- Glueing and orthogonality for models of linear logic
- Differential structure, tangent structure, and SDG
- Differential restriction categories
- Derivations in Codifferential Categories
- A Survey of Graphical Languages for Monoidal Categories
- Constructing Differential Categories and Deconstructing Categories of Games
- Differential categories
- On traced monoidal closed categories
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- An explicit formula for the free exponential modality of linear logic
- Integral categories and calculus categories
- Traced monoidal categories
- Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
