Pages that link to "Item:Q5492810"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492810):
Displaying 23 items.
- A link between quantum logic and categorical quantum mechanics (Q732298) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- String diagrams for traced and compact categories are oriented 1-cobordisms (Q1684755) (← links)
- The category of matroids (Q1743610) (← links)
- Some phenomena in tautological rings of manifolds (Q1783994) (← links)
- Division algebras and quantum theory (Q1929299) (← links)
- A categorical approach to loops, neardomains and nearfields. (Q1932145) (← links)
- Categorical properties of the complex numbers (Q2825372) (← links)
- Strongly compact closed semantics (Q2852356) (← links)
- De-linearizing linearity: projective quantum axiomatics from strong compact closure (Q2864168) (← links)
- POVMs and Naimark's theorem without sums (Q2870203) (← links)
- From coalgebraic to monoidal traces (Q2919453) (← links)
- Can a Quantum Computer Run the von Neumann Architecture? (Q3000932) (← links)
- Abstract Physical Traces (Q4680358) (← links)
- Quantum Speedup and Categorical Distributivity (Q4922077) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- Categories for Quantum Theory (Q5223344) (← links)
- Semimodule Enrichment (Q5415638) (← links)
- Reversible monadic computing (Q5971401) (← links)
- The game semantics of game theory (Q6612787) (← links)
- Compact inverse categories (Q6612798) (← links)
- On strictifying extensional reflexivity in compact closed categories (Q6612801) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
