scientific article; zbMATH DE number 2134919
From MaRDI portal
Publication:4650586
Recommendations
Cited in
(26)- Extensions of states on MV-quantales
- Semantics of quantum programming languages: Classical control, quantum control
- Logic and quantum physics
- The free exponential modality of probabilistic coherence spaces
- On Banach spaces of sequences and free linear logic exponential modality
- Quantum computation: from a programmer's perspective
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- Differentials and distances in probabilistic coherence spaces
- The sub-additives: a proof theory for probabilistic choice extending linear logic
- Differentials and distances in probabilistic coherence spaces
- Models of Linear Logic based on the Schwartz \varepsilon-product
- A logical basis for quantum evolution and entanglement
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Logic Discovered and Logic Imposed (A Purim Story)
- Towards logical foundations for probabilistic computation
- Zeta functions and the (linear) logic of Markov processes
- Curry and Howard meet Borel
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- Integration in cones
- Interaction graphs: multiplicatives
- From differential linear logic to coherent differentiation
- The sup connective in IMALL: a categorical semantics
- Double glueing over free exponential: with measure theoretic applications
- Quantum coherence spaces revisited: a von Neumann (co)algebraic approach
- Interaction graphs: additives
- Effectible residuated lattices and \(n\)-th roots
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650586)
