Pages that link to "Item:Q3000920"
From MaRDI portal
The following pages link to Physics, Topology, Logic and Computation: A Rosetta Stone (Q3000920):
Displaying 35 items.
- Bicategorical semantics for nondeterministic computation (Q265831) (← links)
- Interacting Hopf algebras (Q308156) (← links)
- A mathematical theory of resources (Q320201) (← links)
- The expectation monad in quantum foundations (Q320204) (← links)
- Causal categories: relativistically interacting processes (Q352872) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Functorial data migration (Q714735) (← links)
- Itsy bitsy topological field theory (Q742789) (← links)
- Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N (Q780789) (← links)
- A new perspective on intermediate algorithms via the Riemann-Hilbert correspondence (Q1621258) (← links)
- Towards a unified framework for decomposability of processes (Q1708904) (← links)
- Epistemic horizons and the foundations of quantum mechanics (Q1735885) (← links)
- Division algebras and quantum theory (Q1929299) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Coends of higher arity (Q2667936) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Phase Groups and the Origin of Non-locality for Qubits (Q2825362) (← links)
- Symmetry and Composition in Probabilistic Theories (Q2825373) (← links)
- Renormalisation and computation II: time cut-off and the Halting Problem (Q2919937) (← links)
- A diagrammatic definition of U<sub>q</sub>(𝔰𝔩<sub>2</sub>) (Q2922967) (← links)
- Tangle Machines (Q2945575) (← links)
- (Q3385626) (← links)
- A Compositional Framework for Passive Linear Networks (Q4555338) (← links)
- Quantum collections (Q4595314) (← links)
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras (Q5014789) (← links)
- (Q5019675) (← links)
- (Q5025081) (← links)
- Interacting quantum observables: categorical algebra and diagrammatics (Q5135836) (← links)
- Congruence Lattices of Ideals in Categories and (Partial) Semigroups (Q5889062) (← links)
- Dilations and information flow axioms in categorical probability (Q6149957) (← links)
- (Q6153956) (← links)
- Tensor networks in machine learning (Q6160060) (← links)
- A diagrammatic view of differential equations in physics (Q6195577) (← links)